maxtuno / SLIME
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
☆6Updated last year
Related projects ⓘ
Alternatives and complementary repositories for SLIME
- microKanren sagittarius/larceny☆11Updated 9 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆55Updated 5 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Embeddable Common-Lisp C-Interop Demo☆14Updated 2 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Constraint Handling Rules in Clojure☆27Updated 13 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- Operations with matrices, SWI pack☆12Updated 11 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- OpenGL libraries for Chez Scheme☆39Updated 8 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- When Lisp and Vhdl have a son.☆42Updated 5 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- SWI-Prolog dynamic C interface☆16Updated 2 months ago
- Racket bindings for Z3☆19Updated 12 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 8 months ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- A C implementation of the Shen programming language☆70Updated 2 years ago
- Common lisp library for manipulating PDDL expressions.☆13Updated 4 months ago
- access (parts of) VIGRA's functionality from Racket☆15Updated 2 years ago
- Transducers for Common Lisp☆20Updated 9 years ago
- A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …☆21Updated 2 years ago
- A microcontroller that natively executes a simple LISP dialect☆89Updated 10 months ago