* minisat needs to be in the $PATH (for execution),
  this should be checked during installation.

* should provide several backends (separate package satchmo-minisat etc.,
  similar as hsql with backends like hsql-mysql etc.)

* add timeout handler for calling the SAT solver.
  

* implement fixed-width integer arithmetics