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

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

* need timeout handler for calling the SAT solver.