Skip to content

Commit 1681381

Browse files
j-dannerj-danner
committed
add test69.xnf, test70.xnf
1 parent 4bc810b commit 1681381

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

‎tests/2xnfs/test69.xnf

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
p xnf 1 1
2+
1+1 0
3+
c UNSAT

‎tests/2xnfs/test70.xnf

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
p xnf 1 1
2+
-1+1 0
3+
c SAT

0 commit comments

Comments
 (0)