  * add documentation and examples
  * more tests


Notes:
------
http://www.satlib.org/
