petersn / autosatView external linksLinks
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:
- This fork family includes the 6502 upgraded to 32-bit address bus, in Verilog HDL☆20Feb 23, 2020Updated 5 years ago
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- Management of Benchmark Instances and Instance Attributes☆20Feb 9, 2026Updated last week
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- Unix-hosted development of 8-bit software, with modern testing support☆19Jan 31, 2026Updated 2 weeks 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
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Jun 3, 2023Updated 2 years ago
- Frisbee flight simulator written in Python.☆12Jun 18, 2025Updated 7 months ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 7 years ago
- Collection of iPython notebooks with some quick demos☆11May 25, 2017Updated 8 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- A floppy disk styled flash storage device for the EMF Camp Tildagon☆10Mar 6, 2025Updated 11 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆39Dec 18, 2022Updated 3 years ago
- IR Remote Controller for WS2812(or analog) LED Strip☆10Nov 28, 2022Updated 3 years ago
- ☆13Dec 13, 2022Updated 3 years ago
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Aug 19, 2025Updated 5 months ago
- Sort selections based on their content☆12Apr 20, 2023Updated 2 years ago
- ☆10Aug 31, 2023Updated 2 years ago
- ☆15Jan 28, 2013Updated 13 years ago
- Erlang client for StatsD☆19Oct 9, 2018Updated 7 years ago
- Blend colors with different modes like multiply, overlay, dodge.☆23Jul 16, 2024Updated last year
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Feb 3, 2026Updated last week
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- ⚓ A very simple journal keeping cli tool☆12Jun 2, 2020Updated 5 years ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- 🍁🍂🍃 A C# implementation of the 65el02 CPU.☆10Oct 12, 2021Updated 4 years ago
- ☆10Jul 8, 2020Updated 5 years ago
- Write data to files split by topic and rolled over on size or a timeout, files can be compressed using lzo, snappy or gzip☆11Jul 12, 2021Updated 4 years ago
- Generic modeling of object relations in OOP☆14Jan 20, 2024Updated 2 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 9 months ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated last year
- A collection of pure Python crypto implementations. All modules are standalone. Available in Python 2 and Python 3 flavors!☆10Mar 2, 2013Updated 12 years ago
- Atom Appimage for linux 64bits☆12Nov 23, 2022Updated 3 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 6 months ago
- Plugin Opcode SDK☆10Sep 23, 2024Updated last year
- Alice ML implementation☆17Nov 25, 2022Updated 3 years ago