mistupv / SWIPrologZ3Links
A simple Prolog API for the Z3 constraint solver
☆15Updated 7 years ago
Alternatives and similar repositories for SWIPrologZ3
Users that are interested in SWIPrologZ3 are comparing it to the libraries listed below
Sorting:
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- A programming argot☆57Updated last year
- ProjecturEd is a generic purpose projectional editor.☆142Updated 3 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 4 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆43Updated 16 years ago
- An object-oriented dialect of Scheme☆61Updated last month
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Sunrise on the Boxer Reconstruction Project☆55Updated last week
- ☆21Updated 13 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Updated 9 years ago
- Art of Prolog Code☆36Updated 6 years ago
- ☆28Updated 4 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆123Updated 8 months ago
- Markdown parser for SWI-Prolog.☆23Updated 5 years ago
- Poplog☆21Updated 15 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- OPS5 Production System☆57Updated 12 years ago
- ☆29Updated 5 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆46Updated 4 years ago
- Prolog Technology Theorem Prover☆12Updated last year
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 10 months ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Updated 2 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- Embeddable Common-Lisp C-Interop Demo☆15Updated 3 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆60Updated 14 years ago