Bule Version 4.0.0

vale1410 released this 01 Mar 08:25

· 48 commits to master since this release

1334524

Bule is reimplemented in Ocaml with slight changes to the syntax and new sat of features.

Please check doc/tutorial for more information.

SAT2022 submission.

Assets 4