ciao-lang / ciaopp
The Ciao Preprocessor
☆11Updated 5 months ago
Alternatives and similar repositories for ciaopp:
Users that are interested in ciaopp are comparing it to the libraries listed below
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- descartes: the cartesian hoare logic prover☆12Updated 8 years ago
- A Fast Floating-Point Satisfiability Solver☆28Updated 6 years ago
- A model checker for infinite-state systems.☆74Updated 4 months ago
- The Termination Problem Database☆29Updated 3 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A model checker based on SAT solving and induction☆13Updated 10 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated 2 weeks ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆50Updated 5 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆25Updated last month
- SMTInterpol interpolating SMT solver☆66Updated last week
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated 2 weeks ago
- A best-first-search theorem prover implemented in Isabelle☆34Updated 2 years ago
- LibPoly is a C library for manipulating polynomials☆51Updated 4 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- ☆16Updated 10 months ago
- A Lustre compiler in Coq☆68Updated 2 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated 2 weeks ago
- Gallina to Bedrock2 compilation toolkit☆53Updated last week
- ☆12Updated 10 months ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- TriCera: a model checker for C programs☆24Updated last month
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- PC-miner tool for program chairs☆27Updated last month
- Solver for Constrained Horn Clauses☆38Updated this week