Contents of contract-prover-3.0.0

LICENSE
README.md
package.json
examples/
- Ackermann.curry
- AllNats.curry
- Coin.curry
- ConcLength.curry
- DoublePeano.curry
- Fac.curry
- Fib.curry
- Init.curry
- InsND.curry
- Last.curry
- Loop.curry
- McCarthy91.curry
- MinList.curry
- NegPos.curry
- NondetContract.curry
- Nth.curry
- NthLength.curry
- Perm.curry
- PermByNDInsSort.curry
- README.txt
- Rev.curry
- Split.curry
- Sum.curry
- Take.curry
- test.sh
- unprovable_contracts/
  - Const.curry
  - NonDetContract.curry
include/
- ContractChecker.curry
- Prelude.smt
- Prelude_Choice.smt
- Prelude_length.smt
- Prelude_null.smt
- Prelude_take.smt
src/
- ContractProver.curry
- Curry2SMT.curry
- ESMT.curry
- ToolOptions.curry
- VerifierState.curry
- FlatCurry/
  - Typed/
    
    Build.curry
    
    Goodies.curry
    
    Names.curry
    
    NonDet2Det.curry
    
    Read.curry
    
    Simplify.curry
    
    Types.curry