Benchmarks for library(clpb)

All benchmarks mentioned in The Boolean Constraint Solver of SWI-Prolog: System Description, submitted to FLOPS'2016, are available from:

clpb_benchmarks.tar.gz

Other usage examples: github.com/triska/clpb

Please check out the library's documentation for usage information: http://eu.swi-prolog.org/man/clpb.html

Please write to triska@metalevel.at or use the clpb tag on Stackoverflow if you have any questions about CLP(B).

Related Prolog programs and texts are available at https://www.metalevel.at

Thank you for your interest in SWI-Prolog and this library! I hope to see you in Kochi in 2016.

Markus Triska, Sept. 20th, 2015