Looking Back and Forward for Open-Source Mathematics Software(martinralbrecht.wordpress.com)
martinralbrecht.wordpress.com
Looking Back and Forward for Open-Source Mathematics Software
http://martinralbrecht.wordpress.com/2014/12/17/looking-back-and-forward-for-open-source-mathematics-software-2014/
2 comments
This Python library has PicoSAT SAT solver integration, and parses DIMACS files:
https://github.com/cjdrake/pyeda
https://github.com/cjdrake/pyeda
http://nd4j.org/