fm-polimi / zotLinks
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
☆10Updated 4 years ago
Alternatives and similar repositories for zot
Users that are interested in zot are comparing it to the libraries listed below
Sorting:
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated last week
- Poplog☆21Updated 14 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 3 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Updated 4 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Racket bindings for Z3☆20Updated 12 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 11 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 3 months ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆48Updated 8 years ago
- An interactive development environment for SMT-LIB files and Z3☆25Updated 2 years ago
- The Cubicle model checker☆13Updated last year
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated last month
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- ☆23Updated 11 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- ☆34Updated 4 years ago
- Scheme to Common Lisp☆17Updated last year
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- AI Memo transcript☆23Updated 11 years ago