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
Alternatives and similar repositories for SLIME:
Users that are interested in SLIME are comparing it to the libraries listed below
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- PEQNP Mathematical Solver☆13Updated 3 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated last week
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆18Updated 2 years ago
- Fully verified model checker for realtime systems☆16Updated 2 years ago
- ☆21Updated 9 years ago
- SPARK 2014 repository for the Why3 verification platform.☆29Updated this week
- LibPoly is a C library for manipulating polynomials☆50Updated 2 months ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Racket bindings for Z3☆19Updated 12 years ago
- An interactive development environment for SMT-LIB files and Z3☆23Updated 2 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The Cubicle model checker☆13Updated 11 months ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 5 years ago
- Encoding different problems into Boolean satisfiability☆11Updated 2 years ago
- ☆19Updated 7 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Cube-and-Conquer SAT solver☆32Updated last year
- Kami based processor implementations and specifications☆22Updated 4 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆45Updated 3 years ago
- C++ truth table library☆51Updated 10 months ago
- ☆13Updated 4 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- An advanced header-only exact synthesis library☆24Updated 2 years ago
- ☆11Updated 3 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 11 months ago
- Constraint Handling Rules in Clojure☆27Updated 13 years ago