Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / aconjunctive_mu / gen.ml @ 6c3793cb

History | View | Annotate | Download (25.8 KB)

# Date Author Comment
6c3793cb 10/20/2017 07:09 PM Hans-Peter Deifel

benchmarks: Fix early_caching_ac formula

db56eb9d 10/20/2017 06:25 PM Hans-Peter Deifel

benchmarks: Add early_ac formulae to generator

45386aae 10/19/2017 07:56 AM Hans-Peter Deifel

Fix typo

994d7911 10/15/2017 05:05 PM Hans-Peter Deifel

Move aconjunctive formula generator to benchmarks/