Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Zach/examples #201

Merged
merged 3 commits into from
Mar 25, 2025
+86 −2
Merged

Zach/examples #201

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
75f562c
adding division test
ZachJHansen Mar 2, 2025
8e56340
making the SZS status regex flexible enough to capture timeouts
ZachJHansen Mar 3, 2025
dd3831f
Merge branch 'master' into zach/examples
ZachJHansen Mar 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
adding division test
@ZachJHansen
ZachJHansen committed Mar 2, 2025
commit 75f562c659ba3fc5274469bce88685a8194be4cb
1 change: 1 addition & 0 deletions res/examples/external_equivalence/division/.gitignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
out
1 change: 1 addition & 0 deletions res/examples/external_equivalence/division/.tests
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
tptp_compliance verify --equivalence external --direction backward --no-proof-search --save-problems $OUT division.lp division.spec division.ug division.po
13 changes: 13 additions & 0 deletions res/examples/external_equivalence/division/README.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# `division`

## Origin

Vladimir Lifschitz.

## Usage

This is a partial specification of the definition of division.

```
anthem verify --equivalence external -m 4 division.{lp,spec,ug,po} -t 200 --direction backward
```