Bule with a Standard Library of Encodings

vale1410 released this 06 Jun 23:17

· 44 commits to master since this release

efa4053

Bule now provides a standard library with encodings for

implicit and explicit reachability
cardinality constraints
index and log encodings

See folder std_lib.

Furthermore, three modelling examples with benchmark instances for argumentation, positional games and STRIPS planning are added.

Please check doc/tutorial for more information.

Last but not least, attached is also our tool paper for SAT22.

Assets 6