ciao-lang / ciaoppLinks
The Ciao Preprocessor
☆11Updated this week
Alternatives and similar repositories for ciaopp
Users that are interested in ciaopp are comparing it to the libraries listed below
Sorting:
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Gallina to Bedrock2 compilation toolkit☆56Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- SRI Sally: A model checker for infinite-state systems.☆74Updated this week
- A Lustre compiler in Coq☆70Updated last week
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- ☆15Updated 4 years ago
- A model checker based on SAT solving and induction☆13Updated 10 years ago
- ☆56Updated last month
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- The Termination Problem Database☆30Updated 2 weeks ago
- ☆10Updated 8 months ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Solver for Constrained Horn Clauses☆39Updated 2 weeks ago
- Relation algebra library for Coq☆48Updated 2 months ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- αProlog☆18Updated last year
- The People's Verification System☆155Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 3 months ago
- ☆55Updated 2 months ago
- ☆55Updated 2 weeks ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- TriCera: a model checker for C programs☆25Updated this week
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- The DRAT-trim proof checker☆61Updated 6 months ago
- Verimag Polyhedra Library☆18Updated 2 months ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated this week
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year