├── .gitignore ├── .hgtags ├── LICENSE ├── README.md ├── Setup.hs ├── cabal.project ├── executable ├── Main.hs ├── ParallelMain.hs ├── SequentialMain.hs └── link.c ├── misc ├── BestTwee.hs ├── Localise.hs ├── MaxCover.hs ├── Test.hs ├── analyse_trace.pl ├── bench.hs ├── magic.py ├── print_trace.pl ├── ring_conn.pl ├── ring_noconn.pl ├── starexec │ └── bin │ │ ├── parallel-twee │ │ └── starexec_run_twee └── static-libstdc++ ├── notes ├── ac plus ├── kbo under assumptions ├── new-ground-joining └── simplification ├── patches ├── Historical.hs ├── MemoFun.hs ├── MultiIndex.hs ├── Nested.hs ├── cancellation.patch ├── cereal.patch ├── dynarr.patch ├── equals-div-2.patch ├── fifo.patch ├── flatten-difficult-axioms.patch ├── history.patch ├── improve-cp.patch ├── induction-demo.patch ├── more-work-with-size.patch ├── multicp.patch ├── noindex.patch ├── noproof.patch ├── requeue.patch ├── skip-skolem.patch ├── st.patch ├── strict-deriv.patch ├── strict-proofs.patch ├── subsumption.patch ├── use_ground_joinable_for_rewriting.patch ├── work-on-size.patch └── working-subst.patch ├── src ├── Data │ ├── BatchedQueue.hs │ ├── ChurchList.hs │ ├── DynamicArray.hs │ ├── Heap.hs │ ├── Intern.hs │ ├── Numbered.hs │ ├── PackedSequence.hs │ └── Primitive │ │ ├── ByteArray │ │ └── Checked.hs │ │ ├── Checked.hs │ │ └── SmallArray │ │ └── Checked.hs ├── LICENSE ├── Twee.hs ├── Twee │ ├── Base.hs │ ├── CP.hs │ ├── Constraints.hs │ ├── Equation.hs │ ├── Generate.hs │ ├── Index.hs │ ├── Join.hs │ ├── KBO.hs │ ├── Pretty.hs │ ├── Profile.hs │ ├── Proof.hs │ ├── Rule.hs │ ├── Rule │ │ └── Index.hs │ ├── Task.hs │ ├── Term.hs │ ├── Term │ │ └── Core.hs │ └── Utils.hs └── twee-lib.cabal ├── stack.yaml ├── tests ├── BOO067-1.p ├── GRP196-1.p ├── GRP666-4.p ├── LAT071-1.p ├── LAT072-1.p ├── LAT073-1.p ├── PUZ037-3-2.p ├── PUZ037-3.p ├── PUZ052-1.p ├── REL038-1.p ├── RNG025-buggy.p ├── RNG035-7.p ├── ROB010-1.p ├── ROB027-1-pretty.p ├── ROB027-1.p ├── ROB027-1.proof ├── ROB033-1.p ├── append-rev.p ├── cm.p ├── db.proof ├── deriv.p ├── diff.p ├── factor.p ├── gmv.p ├── group.p ├── gt6.tptp.p ├── haken.p ├── loop.p ├── loop2.p ├── lukasiewicz.p ├── minus.p ├── nicomachus.p ├── rel.p ├── rel2.p ├── rellat_appendixa.p ├── rellat_appendixb.p ├── rellat_appendixb_easier.p ├── rellat_appendixc.p ├── rellat_theorem34_6.p ├── rellat_theorem34_6a.p ├── rellat_theorem34_6b.p ├── ring.p ├── ring2-cancel.p ├── ring2.p ├── ring3.p ├── ring4.p ├── robbins-easy.p ├── robbins.p ├── sam.p ├── satisfiable │ ├── abelian.p │ ├── and-or.p │ ├── bad-ac.p │ ├── commutativity-bad.p │ ├── groupoid.p │ ├── length.p │ ├── length2.p │ ├── length3.p │ ├── martin-nipkow-2.p │ ├── martin-nipkow-3.p │ ├── martin-nipkow.p │ ├── plus-combinator.p │ ├── plus-times.p │ ├── plus.p │ ├── pretty.p │ └── veroff.p ├── semigroup.p ├── union.tptp ├── vbool.p ├── veroff-short.p ├── veroff.p ├── winker-easy.p ├── winker.p ├── winker2.p ├── y-easy.p ├── y-encoded.p └── y.p └── twee.cabal /.gitignore: -------------------------------------------------------------------------------- 1 | Main.prof 2 | executable/Main 3 | -------------------------------------------------------------------------------- /.hgtags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/.hgtags -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/cabal.project -------------------------------------------------------------------------------- /executable/Main.hs: -------------------------------------------------------------------------------- 1 | import SequentialMain 2 | -------------------------------------------------------------------------------- /executable/ParallelMain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/executable/ParallelMain.hs -------------------------------------------------------------------------------- /executable/SequentialMain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/executable/SequentialMain.hs -------------------------------------------------------------------------------- /executable/link.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/executable/link.c -------------------------------------------------------------------------------- /misc/BestTwee.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/BestTwee.hs -------------------------------------------------------------------------------- /misc/Localise.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/Localise.hs -------------------------------------------------------------------------------- /misc/MaxCover.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/MaxCover.hs -------------------------------------------------------------------------------- /misc/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/Test.hs -------------------------------------------------------------------------------- /misc/analyse_trace.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/analyse_trace.pl -------------------------------------------------------------------------------- /misc/bench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/bench.hs -------------------------------------------------------------------------------- /misc/magic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/magic.py -------------------------------------------------------------------------------- /misc/print_trace.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/print_trace.pl -------------------------------------------------------------------------------- /misc/ring_conn.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/ring_conn.pl -------------------------------------------------------------------------------- /misc/ring_noconn.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/ring_noconn.pl -------------------------------------------------------------------------------- /misc/starexec/bin/parallel-twee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/starexec/bin/parallel-twee -------------------------------------------------------------------------------- /misc/starexec/bin/starexec_run_twee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/starexec/bin/starexec_run_twee -------------------------------------------------------------------------------- /misc/static-libstdc++: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/misc/static-libstdc++ -------------------------------------------------------------------------------- /notes/ac plus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/notes/ac plus -------------------------------------------------------------------------------- /notes/kbo under assumptions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/notes/kbo under assumptions -------------------------------------------------------------------------------- /notes/new-ground-joining: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/notes/new-ground-joining -------------------------------------------------------------------------------- /notes/simplification: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/notes/simplification -------------------------------------------------------------------------------- /patches/Historical.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/Historical.hs -------------------------------------------------------------------------------- /patches/MemoFun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/MemoFun.hs -------------------------------------------------------------------------------- /patches/MultiIndex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/MultiIndex.hs -------------------------------------------------------------------------------- /patches/Nested.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/Nested.hs -------------------------------------------------------------------------------- /patches/cancellation.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/cancellation.patch -------------------------------------------------------------------------------- /patches/cereal.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/cereal.patch -------------------------------------------------------------------------------- /patches/dynarr.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/dynarr.patch -------------------------------------------------------------------------------- /patches/equals-div-2.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/equals-div-2.patch -------------------------------------------------------------------------------- /patches/fifo.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/fifo.patch -------------------------------------------------------------------------------- /patches/flatten-difficult-axioms.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/flatten-difficult-axioms.patch -------------------------------------------------------------------------------- /patches/history.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/history.patch -------------------------------------------------------------------------------- /patches/improve-cp.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/improve-cp.patch -------------------------------------------------------------------------------- /patches/induction-demo.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/induction-demo.patch -------------------------------------------------------------------------------- /patches/more-work-with-size.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/more-work-with-size.patch -------------------------------------------------------------------------------- /patches/multicp.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/multicp.patch -------------------------------------------------------------------------------- /patches/noindex.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/noindex.patch -------------------------------------------------------------------------------- /patches/noproof.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/noproof.patch -------------------------------------------------------------------------------- /patches/requeue.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/requeue.patch -------------------------------------------------------------------------------- /patches/skip-skolem.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/skip-skolem.patch -------------------------------------------------------------------------------- /patches/st.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/st.patch -------------------------------------------------------------------------------- /patches/strict-deriv.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/strict-deriv.patch -------------------------------------------------------------------------------- /patches/strict-proofs.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/strict-proofs.patch -------------------------------------------------------------------------------- /patches/subsumption.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/subsumption.patch -------------------------------------------------------------------------------- /patches/use_ground_joinable_for_rewriting.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/use_ground_joinable_for_rewriting.patch -------------------------------------------------------------------------------- /patches/work-on-size.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/work-on-size.patch -------------------------------------------------------------------------------- /patches/working-subst.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/patches/working-subst.patch -------------------------------------------------------------------------------- /src/Data/BatchedQueue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/BatchedQueue.hs -------------------------------------------------------------------------------- /src/Data/ChurchList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/ChurchList.hs -------------------------------------------------------------------------------- /src/Data/DynamicArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/DynamicArray.hs -------------------------------------------------------------------------------- /src/Data/Heap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/Heap.hs -------------------------------------------------------------------------------- /src/Data/Intern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/Intern.hs -------------------------------------------------------------------------------- /src/Data/Numbered.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/Numbered.hs -------------------------------------------------------------------------------- /src/Data/PackedSequence.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/PackedSequence.hs -------------------------------------------------------------------------------- /src/Data/Primitive/ByteArray/Checked.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/Primitive/ByteArray/Checked.hs -------------------------------------------------------------------------------- /src/Data/Primitive/Checked.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/Primitive/Checked.hs -------------------------------------------------------------------------------- /src/Data/Primitive/SmallArray/Checked.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Data/Primitive/SmallArray/Checked.hs -------------------------------------------------------------------------------- /src/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/LICENSE -------------------------------------------------------------------------------- /src/Twee.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee.hs -------------------------------------------------------------------------------- /src/Twee/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Base.hs -------------------------------------------------------------------------------- /src/Twee/CP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/CP.hs -------------------------------------------------------------------------------- /src/Twee/Constraints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Constraints.hs -------------------------------------------------------------------------------- /src/Twee/Equation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Equation.hs -------------------------------------------------------------------------------- /src/Twee/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Generate.hs -------------------------------------------------------------------------------- /src/Twee/Index.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Index.hs -------------------------------------------------------------------------------- /src/Twee/Join.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Join.hs -------------------------------------------------------------------------------- /src/Twee/KBO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/KBO.hs -------------------------------------------------------------------------------- /src/Twee/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Pretty.hs -------------------------------------------------------------------------------- /src/Twee/Profile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Profile.hs -------------------------------------------------------------------------------- /src/Twee/Proof.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Proof.hs -------------------------------------------------------------------------------- /src/Twee/Rule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Rule.hs -------------------------------------------------------------------------------- /src/Twee/Rule/Index.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Rule/Index.hs -------------------------------------------------------------------------------- /src/Twee/Task.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Task.hs -------------------------------------------------------------------------------- /src/Twee/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Term.hs -------------------------------------------------------------------------------- /src/Twee/Term/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Term/Core.hs -------------------------------------------------------------------------------- /src/Twee/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/Twee/Utils.hs -------------------------------------------------------------------------------- /src/twee-lib.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/src/twee-lib.cabal -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/stack.yaml -------------------------------------------------------------------------------- /tests/BOO067-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/BOO067-1.p -------------------------------------------------------------------------------- /tests/GRP196-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/GRP196-1.p -------------------------------------------------------------------------------- /tests/GRP666-4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/GRP666-4.p -------------------------------------------------------------------------------- /tests/LAT071-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/LAT071-1.p -------------------------------------------------------------------------------- /tests/LAT072-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/LAT072-1.p -------------------------------------------------------------------------------- /tests/LAT073-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/LAT073-1.p -------------------------------------------------------------------------------- /tests/PUZ037-3-2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/PUZ037-3-2.p -------------------------------------------------------------------------------- /tests/PUZ037-3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/PUZ037-3.p -------------------------------------------------------------------------------- /tests/PUZ052-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/PUZ052-1.p -------------------------------------------------------------------------------- /tests/REL038-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/REL038-1.p -------------------------------------------------------------------------------- /tests/RNG025-buggy.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/RNG025-buggy.p -------------------------------------------------------------------------------- /tests/RNG035-7.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/RNG035-7.p -------------------------------------------------------------------------------- /tests/ROB010-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ROB010-1.p -------------------------------------------------------------------------------- /tests/ROB027-1-pretty.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ROB027-1-pretty.p -------------------------------------------------------------------------------- /tests/ROB027-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ROB027-1.p -------------------------------------------------------------------------------- /tests/ROB027-1.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ROB027-1.proof -------------------------------------------------------------------------------- /tests/ROB033-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ROB033-1.p -------------------------------------------------------------------------------- /tests/append-rev.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/append-rev.p -------------------------------------------------------------------------------- /tests/cm.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/cm.p -------------------------------------------------------------------------------- /tests/db.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/db.proof -------------------------------------------------------------------------------- /tests/deriv.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/deriv.p -------------------------------------------------------------------------------- /tests/diff.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/diff.p -------------------------------------------------------------------------------- /tests/factor.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/factor.p -------------------------------------------------------------------------------- /tests/gmv.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/gmv.p -------------------------------------------------------------------------------- /tests/group.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/group.p -------------------------------------------------------------------------------- /tests/gt6.tptp.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/gt6.tptp.p -------------------------------------------------------------------------------- /tests/haken.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/haken.p -------------------------------------------------------------------------------- /tests/loop.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/loop.p -------------------------------------------------------------------------------- /tests/loop2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/loop2.p -------------------------------------------------------------------------------- /tests/lukasiewicz.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/lukasiewicz.p -------------------------------------------------------------------------------- /tests/minus.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/minus.p -------------------------------------------------------------------------------- /tests/nicomachus.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/nicomachus.p -------------------------------------------------------------------------------- /tests/rel.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rel.p -------------------------------------------------------------------------------- /tests/rel2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rel2.p -------------------------------------------------------------------------------- /tests/rellat_appendixa.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rellat_appendixa.p -------------------------------------------------------------------------------- /tests/rellat_appendixb.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rellat_appendixb.p -------------------------------------------------------------------------------- /tests/rellat_appendixb_easier.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rellat_appendixb_easier.p -------------------------------------------------------------------------------- /tests/rellat_appendixc.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rellat_appendixc.p -------------------------------------------------------------------------------- /tests/rellat_theorem34_6.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rellat_theorem34_6.p -------------------------------------------------------------------------------- /tests/rellat_theorem34_6a.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rellat_theorem34_6a.p -------------------------------------------------------------------------------- /tests/rellat_theorem34_6b.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/rellat_theorem34_6b.p -------------------------------------------------------------------------------- /tests/ring.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ring.p -------------------------------------------------------------------------------- /tests/ring2-cancel.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ring2-cancel.p -------------------------------------------------------------------------------- /tests/ring2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ring2.p -------------------------------------------------------------------------------- /tests/ring3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ring3.p -------------------------------------------------------------------------------- /tests/ring4.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/ring4.p -------------------------------------------------------------------------------- /tests/robbins-easy.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/robbins-easy.p -------------------------------------------------------------------------------- /tests/robbins.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/robbins.p -------------------------------------------------------------------------------- /tests/sam.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/sam.p -------------------------------------------------------------------------------- /tests/satisfiable/abelian.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/abelian.p -------------------------------------------------------------------------------- /tests/satisfiable/and-or.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/and-or.p -------------------------------------------------------------------------------- /tests/satisfiable/bad-ac.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/bad-ac.p -------------------------------------------------------------------------------- /tests/satisfiable/commutativity-bad.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/commutativity-bad.p -------------------------------------------------------------------------------- /tests/satisfiable/groupoid.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/groupoid.p -------------------------------------------------------------------------------- /tests/satisfiable/length.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/length.p -------------------------------------------------------------------------------- /tests/satisfiable/length2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/length2.p -------------------------------------------------------------------------------- /tests/satisfiable/length3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/length3.p -------------------------------------------------------------------------------- /tests/satisfiable/martin-nipkow-2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/martin-nipkow-2.p -------------------------------------------------------------------------------- /tests/satisfiable/martin-nipkow-3.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/martin-nipkow-3.p -------------------------------------------------------------------------------- /tests/satisfiable/martin-nipkow.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/martin-nipkow.p -------------------------------------------------------------------------------- /tests/satisfiable/plus-combinator.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/plus-combinator.p -------------------------------------------------------------------------------- /tests/satisfiable/plus-times.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/plus-times.p -------------------------------------------------------------------------------- /tests/satisfiable/plus.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/plus.p -------------------------------------------------------------------------------- /tests/satisfiable/pretty.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/pretty.p -------------------------------------------------------------------------------- /tests/satisfiable/veroff.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/satisfiable/veroff.p -------------------------------------------------------------------------------- /tests/semigroup.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/semigroup.p -------------------------------------------------------------------------------- /tests/union.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/union.tptp -------------------------------------------------------------------------------- /tests/vbool.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/vbool.p -------------------------------------------------------------------------------- /tests/veroff-short.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/veroff-short.p -------------------------------------------------------------------------------- /tests/veroff.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/veroff.p -------------------------------------------------------------------------------- /tests/winker-easy.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/winker-easy.p -------------------------------------------------------------------------------- /tests/winker.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/winker.p -------------------------------------------------------------------------------- /tests/winker2.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/winker2.p -------------------------------------------------------------------------------- /tests/y-easy.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/y-easy.p -------------------------------------------------------------------------------- /tests/y-encoded.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/y-encoded.p -------------------------------------------------------------------------------- /tests/y.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/tests/y.p -------------------------------------------------------------------------------- /twee.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nick8325/twee/HEAD/twee.cabal --------------------------------------------------------------------------------