Contents of contract-prover-0.0.1

LICENSE
README.md
package.json
examples/
- Ackermann.curry
- AllNats.curry
- Coin.curry
- ConcLength.curry
- Fac.curry
- Fib.curry
- Init.curry
- InsND.curry
- Last.curry
- McCarthy91.curry
- MinList.curry
- NegPos.curry
- NondetContract.curry
- Nth.curry
- NthLength.curry
- Perm.curry
- README.txt
- Rev.curry
- Sum.curry
- Take.curry
- test.sh
- unprovable_contracts/
  - Const.curry
include/
- Prelude.smt
- Prelude_length.smt
- Prelude_null.smt
- Prelude_take.smt
src/
- BoolExp.curry
- ContractProver.curry
- Curry2SMT.curry
- ProverOptions.curry
- TypedFlatCurryGoodies.curry