Scripts to install orbit libraries manually into Maven
Use SAT4J instead of MiniSat
Adding POM file
add target
Remove GUI, MiniSat Decider and SKOS Context Loader.
Remove JARs