CHANGES (p.ocaml-sat-solvers.0.8.doc.CHANGES)

Up – Package index » ocaml-sat-solvers » CHANGES

v0.8

Change from OASIS to DUNE
Change from OCAML 4 to OCAML 5

ocaml-sat-solvers
- CHANGES
- LICENSE
- README
- Library ocaml-sat-solvers
- Sources