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:
- Dimacs CNF utilities☆21Mar 28, 2026Updated last month
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated 10 months ago
- Lecture: Practical SAT Solving (ST 2025)☆13Jan 13, 2026Updated 3 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 11 months ago
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Aug 19, 2025Updated 8 months ago
- ☆11Jul 21, 2022Updated 3 years ago
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Go implementation of the t1ha hash function☆21Jun 24, 2017Updated 8 years ago
- Unix-hosted development of 8-bit software, with modern testing support☆19Feb 12, 2026Updated 2 months 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.
- 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
- Set of Minimal C Utilities☆16Aug 21, 2015Updated 10 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 genetic life simulation game built from a traditional roguelike engine☆13Jun 13, 2018Updated 7 years ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Mar 14, 2019Updated 7 years ago
- ⚓ A very simple journal keeping cli tool☆12Jun 2, 2020Updated 5 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 8 months ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- ☆19Oct 7, 2017Updated 8 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- linux, without the gnu☆16Jan 3, 2021Updated 5 years ago
- merry's common library☆15Sep 12, 2023Updated 2 years ago
- Lua Bizhawk OoT Zelda Modding☆11Dec 18, 2015Updated 10 years ago
- A floppy disk styled flash storage device for the EMF Camp Tildagon☆11Mar 6, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A collection of hash and RNG functions that rely on hardware AES☆24Jan 4, 2025Updated last year
- Tool Support, Extensibility & Interfacing for GOLOG languages☆13Nov 6, 2023Updated 2 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
- Grain of Salt equation generator☆18May 6, 2022Updated 3 years ago
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 7 months ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago