ND4J (n-dimensional arrays for Java) is a free, open-source extension written for the JVM, compatible with both Scala and Clojure. It's a scientific computing library for linear algebra and matrix manipulation in a production environment. Uses the semantics of Numpy and Matlab...<p><a href="http://nd4j.org/" rel="nofollow">http://nd4j.org/</a>
This Python library has PicoSAT SAT solver integration, and parses DIMACS files:<p><a href="https://github.com/cjdrake/pyeda" rel="nofollow">https://github.com/cjdrake/pyeda</a>