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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 5 months ago
- Management of Benchmark Instances and Instance Attributes☆22Jun 11, 2026Updated 2 weeks ago
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 2 months ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- This fork family includes the 6502 upgraded to 32-bit address bus, in Verilog HDL☆20Feb 23, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- 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…☆27Jun 3, 2023Updated 3 years ago
- 🕹️ Currently a basic homebrew model viewer for the Nintendo 64.☆12Jul 17, 2018Updated 7 years ago
- Unix-hosted development of 8-bit software, with modern testing support☆19Feb 12, 2026Updated 4 months ago
- ☆34Jun 10, 2026Updated 2 weeks ago
- 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 4 years ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LV2 port for the TAP (Tom's Audio Processing) plugins☆18Feb 18, 2024Updated 2 years ago
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago
- a simple operating system☆10May 10, 2015Updated 11 years ago
- Quick sample to make an UDP host from Bizhawk☆14Mar 4, 2016Updated 10 years ago
- ⚓ A very simple journal keeping cli tool☆12Jun 2, 2020Updated 6 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 10 months ago
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆21May 19, 2025Updated last year
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 8 years ago
- A DAW built for automation, transformation, and fast musical iteration☆160Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- Snippets of code that work with the TINN tool☆23Oct 7, 2016Updated 9 years ago
- linux, without the gnu☆16Jan 3, 2021Updated 5 years ago
- FORTH implementation for 65C02☆13Jul 23, 2021Updated 4 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- A simulation of the launch and landing of the Falcon 9 rocket.☆17Feb 19, 2023Updated 3 years ago
- IR Remote Controller for WS2812(or analog) LED Strip☆10Nov 28, 2022Updated 3 years ago
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15Jan 28, 2013Updated 13 years ago
- SSH to POST. For making weird, SSH-based pastebins.☆21Jun 29, 2021Updated 5 years ago
- ☆37May 13, 2026Updated last month
- Implementation of multi-core (binary) decision diagrams☆91Jun 7, 2026Updated 3 weeks ago
- The future of online communications.☆13May 15, 2017Updated 9 years ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆29Sep 7, 2015Updated 10 years ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago