0.3.1

bugfix release for 0.3

0.3

more featureful release with a SMT interface and callbacks.

0.2

first release of batsat, as a library.