integrating exporter
Showing
- Makefile 6 additions, 1 deletionMakefile
- encoding/Makefile 0 additions, 0 deletionsencoding/Makefile
- encoding/alt/SetVec.lp 0 additions, 0 deletionsencoding/alt/SetVec.lp
- encoding/alt/coercions.lp 0 additions, 0 deletionsencoding/alt/coercions.lp
- encoding/alt/quantifiers.lp 0 additions, 0 deletionsencoding/alt/quantifiers.lp
- encoding/alt/tuple.lp 0 additions, 0 deletionsencoding/alt/tuple.lp
- encoding/coercions.lp 0 additions, 0 deletionsencoding/coercions.lp
- encoding/eqtup.lp 0 additions, 0 deletionsencoding/eqtup.lp
- encoding/examples/fixpoints.lp 0 additions, 0 deletionsencoding/examples/fixpoints.lp
- encoding/examples/proof_irr.lp 0 additions, 0 deletionsencoding/examples/proof_irr.lp
- encoding/examples/rat.lp 0 additions, 0 deletionsencoding/examples/rat.lp
- encoding/examples/stack.lp 0 additions, 0 deletionsencoding/examples/stack.lp
- encoding/examples/transitivity.lp 0 additions, 0 deletionsencoding/examples/transitivity.lp
- encoding/extra/arity-tools.lp 0 additions, 0 deletionsencoding/extra/arity-tools.lp
- encoding/extra/bool_plus.lp 0 additions, 0 deletionsencoding/extra/bool_plus.lp
- encoding/extra/deptype.lp 0 additions, 0 deletionsencoding/extra/deptype.lp
- encoding/extra/equality.lp 0 additions, 0 deletionsencoding/extra/equality.lp
- encoding/extra/fixpoints.lp 0 additions, 0 deletionsencoding/extra/fixpoints.lp
- encoding/extra/if.lp 0 additions, 0 deletionsencoding/extra/if.lp
- encoding/extra/prenex/README.md 0 additions, 0 deletionsencoding/extra/prenex/README.md
Loading
Please register or sign in to comment