ProB B2ASP Benchmarks for PADL'2026

These are benchmark files containing constraints encoded in the B language. The archive contains each benchmark as a file with the ending .eval. The Makefile can be used to run various constraint solving backends of the ProB tool (https://prob.hhu.de/) on each benchmark. Simply type make for this. It will create as output the CSV file bench_bench.csv.

You can also run a benchmark individually for a given solver like this:

• probcli -solve_file clingo eval/HardGraph_Nr5.eval

This archive accompanies the article "Using Prolog to Translate Set Theory and B to SAT" presented at PADL 2026 (January 2026, Rennes).