diff options
Diffstat (limited to 'examples/lia.vtlog')
| -rw-r--r-- | examples/lia.vtlog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/examples/lia.vtlog b/examples/lia.vtlog new file mode 100644 index 0000000..d3a03ee --- /dev/null +++ b/examples/lia.vtlog @@ -0,0 +1,7 @@ +1:(input ((not #1:(=> #2:(= #3:(- x 3) 7) #4:(<= 10 x))))) +2:(tmp_LA_pre ((not #5:(=> #6:(and #7:(<= #3 7) #8:(<= 7 #3)) #4))) 1) +3:(not_implies1 (#6) 2) +4:(and (#8) 3 1) +5:(not_implies2 ((not #4)) 2) +6:(la_generic (#4 (not #8))) +7:(resolution () 6 4 5) |