2012-07-17 | Lucca Hirschi | For testing. | blob | commitdiff | raw |
2012-07-17 | Lucca Hirschi | Benchmark script. | blob | commitdiff | raw |
2012-07-17 | Lucca Hirschi | Evaluation anf inference of formulas are now hconsed... | blob | commitdiff | raw | diff to current |