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: ⓘ
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- PEQNP Mathematical Solver☆13Updated 2 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- The glucose SAT solver☆68Updated 7 months ago
- A synthesis-enabled solver for relational logic☆28Updated 6 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated 2 weeks ago
- Modeling and Programming with Gecode☆44Updated last year
- Racket bindings for Z3☆19Updated 12 years ago
- The Cubicle model checker☆14Updated 6 months ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 6 months ago
- A collection of (public) specifications in different formalisms.☆15Updated 6 months ago
- Kami based processor implementations and specifications☆22Updated 4 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- ☆52Updated 7 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 2 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- SECD Machine Implementation in x86 Assembly☆22Updated 10 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 3 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆31Updated last year
- Encoding different problems into Boolean satisfiability☆11Updated last year
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- miniKanren for search, SMT for solving☆13Updated 4 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- An R6RS framework for creating compilers that target C.☆113Updated 8 years ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆27Updated 5 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆54Updated 5 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Updated 11 years ago