We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
b84cfa7
bugfix release for 0.3
47cb3bd
more featureful release with a SMT interface and callbacks.
5f6cacf
first release of batsat, as a library.
