fm-polimi / zot
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for zot
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- Common lisp bindings to CUDD.☆12Updated 6 years ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆46Updated 7 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Scheme to Common Lisp☆13Updated 10 months ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated last week
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆16Updated 4 years ago
- AI Memo transcript☆23Updated 10 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 4 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- Racket bindings for Z3☆19Updated 12 years ago
- Read and write Numpy .npy and .npz files.☆16Updated last year
- Portable threads API for Common Lisp (from GBBopen project)☆13Updated 3 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- software archaeology of reflective towers of interpreters☆15Updated last month
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- Poplog☆21Updated 13 years ago
- A logic programming library for Common Lisp.☆58Updated 3 years ago
- Evolutionary optimization of extant software☆27Updated 10 years ago
- Livin' like it's 1813 (or 1988).☆30Updated 8 months ago