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:
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 3 months ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆41Dec 18, 2022Updated 3 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…☆27Jun 3, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Sources for algorithm selection for combinatorial search problems survey☆17Jul 10, 2019Updated 7 years ago
- Unix-hosted development of 8-bit software, with modern testing support☆20Feb 12, 2026Updated 5 months ago
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- Binary "disassembler" interpreting as raster scan-lines and pixel maps☆12Aug 6, 2018Updated 8 years ago
- ☆34Aug 2, 2026Updated last week
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 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
- A JAX transport-economy learning environment for route planning, cargo flow, financing, and replayable agent benchmarks.☆15Jul 27, 2026Updated 2 weeks ago
- ⚓ A very simple journal keeping cli tool☆12Jun 2, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple (unfinished) SMT solver for QF_ABV.☆36Mar 14, 2019Updated 7 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Generic modeling of object relations in OOP☆14Jan 20, 2024Updated 2 years ago
- A collection of hash and RNG functions that rely on hardware AES☆25Jan 4, 2025Updated last year
- ☆19Oct 7, 2017Updated 8 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 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
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- a simple operating system☆10May 10, 2015Updated 11 years ago
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated 2 years ago
- FORTH implementation for 65C02☆13Jul 23, 2021Updated 5 years ago
- ☆39May 13, 2026Updated 2 months ago
- Tool Support, Extensibility & Interfacing for GOLOG languages☆14Nov 6, 2023Updated 2 years ago
- C++ library for large-scale network analysis and computation☆27Jan 4, 2024Updated 2 years ago
- Bitbang i2c with MOS 6502 and 6522☆13Apr 27, 2017Updated 9 years ago
- Implementation of multi-core (binary) decision diagrams☆90Jul 28, 2026Updated last week
- Compiler of the EDDI programming language☆33May 15, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆40Nov 7, 2022Updated 3 years ago
- Set of Minimal C Utilities☆16Aug 21, 2015Updated 10 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆30Sep 7, 2015Updated 10 years ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- This is a library for talking to the MAX11300 from any Arduino.☆10Jun 15, 2018Updated 8 years ago