Commits

Commits on Jul 22, 2019

fix dune-project
xorpse
committedJul 22, 2019

Commits on Jun 14, 2019

Update opam file.
Drup
committedJun 14, 2019
Inline the solver signature.
Drup
committedJun 14, 2019
Cleanup a bit the organization.
Drup
committedJun 14, 2019
Small renamings.
Drup
committedJun 14, 2019
Remove superfluous file.
Drup
committedJun 14, 2019
Remove previous packaging.
Drup
committedJun 14, 2019
Dunify
Drup
committedJun 14, 2019

Commits on Apr 21, 2018

Small fixes to the opam file.
Drup
committedApr 21, 2018

Commits on Apr 20, 2018

Uncapitalize in the opam file.
Drup
committedApr 20, 2018
uncapitalize.
Drup
committedApr 20, 2018
Update packaging.
Drup
committedApr 20, 2018
Update packaging.
Drup
committedApr 20, 2018

Commits on Nov 9, 2015

Update Readme.
Drup
committedNov 9, 2015
Adapt the API to the last Z3.
Drup
committedNov 9, 2015
More warnings.
Drup
committedNov 9, 2015
Add the oasis stuff.
Drup
committedNov 9, 2015
Add a bit of printing in tests.
Drup
committedNov 9, 2015
Fix the optim test.
Drup
committedNov 9, 2015
Constraint the oasis file, bytecode doesn't work atm.
Drup
committedNov 9, 2015
Use the same interface for Optimize and Solver (but partially broken).
Drup
committedNov 9, 2015
Add optimizing solver based on the opt branch.
Drup
committedNov 9, 2015

Commits on Apr 14, 2015

fix opam, one more.
Drup
committedApr 14, 2015
Improve the opam file.
Drup
committedApr 14, 2015
Improve the ocamldoc documentation.
Drup
committedApr 14, 2015
Title, bis.
Drup
committedApr 14, 2015
The title is important too.
Drup
committedApr 14, 2015
Small clarification.
Drup
committedApr 14, 2015
Necessary return line.
Drup
committedApr 14, 2015
Fix the opam file.
Drup
committedApr 14, 2015
Improve the readme and the simple example.
Drup
committedApr 14, 2015
Don't open Z3 in the signature.
Drup
committedApr 14, 2015
Remove compiled setup.
Drup
committedApr 14, 2015
Remove the optim stuff.
Drup
committedApr 14, 2015

Commits on Apr 13, 2015

Fixup merlin file.
Drup
committedApr 13, 2015