Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / aconjunctive_mu / run_cool.sh @ 6c3793cb

History | View | Annotate | Download (120 Bytes)

# Date Author Comment
a06d5cea 10/18/2017 09:12 AM Hans-Peter Deifel

Add benchmark script to compare cool and mlsolver