Library for creation of SAT instances.
☆23Sep 7, 2022Updated 3 years ago
Alternatives and similar repositories for autosat
Users that are interested in autosat are comparing it to the libraries listed below
Sorting:
- Management of Benchmark Instances and Instance Attributes☆21Mar 13, 2026Updated last week
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated 9 months ago
- The anytime MaxSAT solver Loandra☆20Jun 5, 2025Updated 9 months ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆40Dec 18, 2022Updated 3 years ago
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 5 years ago
- Unix-hosted development of 8-bit software, with modern testing support☆19Feb 12, 2026Updated last month
- Binary "disassembler" interpreting as raster scan-lines and pixel maps☆12Aug 6, 2018Updated 7 years ago
- Supporting code for the concurrency hierarchy described in this blog post: https://travisdowns.github.io/blog/2020/07/06/concurrency-cost…☆27Apr 30, 2022Updated 3 years ago
- LV2 port for the TAP (Tom's Audio Processing) plugins☆17Feb 18, 2024Updated 2 years ago
- First edition of the annual beginner CTF by havce.☆13Dec 18, 2022Updated 3 years ago
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- A collection of pure Python crypto implementations. All modules are standalone. Available in Python 2 and Python 3 flavors!☆10Mar 2, 2013Updated 13 years ago
- Generic modeling of object relations in OOP☆14Jan 20, 2024Updated 2 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated last year
- A floppy disk styled flash storage device for the EMF Camp Tildagon☆11Mar 6, 2025Updated last year
- Tool Support, Extensibility & Interfacing for GOLOG languages☆13Nov 6, 2023Updated 2 years ago
- Benchmarking the performance of different sorting algorithms implemented in Java☆17Apr 20, 2020Updated 5 years ago
- FORTH implementation for 65C02☆13Jul 23, 2021Updated 4 years ago
- A simulation of the launch and landing of the Falcon 9 rocket.☆17Feb 19, 2023Updated 3 years ago
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 6 years ago
- Grain of Salt equation generator☆16May 6, 2022Updated 3 years ago
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 3 months ago
- ☆15Jan 28, 2013Updated 13 years ago
- Parallel C++: Efficient and Scalable High-Performance Parallel Programming☆22Aug 15, 2024Updated last year
- ☆38Nov 7, 2022Updated 3 years ago
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 5 months ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆28Sep 7, 2015Updated 10 years ago
- A basic Lisp interpreter implemented in Elixir.☆14Jan 23, 2022Updated 4 years ago
- Tech Talks Presentations☆10Dec 15, 2023Updated 2 years ago
- JS implementations of JNI libraries for CheerpJ☆14May 13, 2024Updated last year