Niederhauser Johannes - Studierendenacco (3d484dc8) at 03 Mar 10:04
new experimental results, change ttt2 -s 'kbo' to ttt2 -s 'kbo -ib ...
Niederhauser Johannes - Studierendenacco (f6b13e33) at 02 Mar 17:43
add experiments (comparison with TTT2 on TPDB)
... and 3 more commits
Niederhauser Johannes - Studierendenacco (fe0bbe01) at 02 Mar 14:08
instead of just producing a .smt2 file, call Z3 directly
Niederhauser Johannes - Studierendenacco (285790df) at 02 Mar 13:45
spport file names containing more than one dot (request & fix from ...
Niederhauser Johannes - Studierendenacco (a0141fd7) at 01 Mar 12:48
new example addsub.trs
Niederhauser Johannes - Studierendenacco (caa4ee10) at 23 Feb 14:29
add examples and README
Niederhauser Johannes - Studierendenacco (314b28fb) at 23 Feb 12:17
Bugfix KBO: w0 > 0
Niederhauser Johannes - Studierendenacco (5cfeecdd) at 23 Feb 12:00
first version with KBO and LPO
Niederhauser Johannes - Studierendenacco (6a241f0d) at 21 Feb 16:12
first LPO version
Niederhauser Johannes - Studierendenacco (4f6899b5) at 21 Feb 12:02
Initial commit