sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance
☆16Mar 5, 2021Updated 5 years ago
Alternatives and similar repositories for yabai-sat
Users that are interested in yabai-sat are comparing it to the libraries listed below
Sorting:
- The C3, SMT/SAT solver written in C.☆35Aug 10, 2025Updated 7 months ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- LMNtal Compiler☆23Feb 19, 2026Updated 2 weeks ago
- The Stochastic Local Search SAT Solver from UBC☆32Apr 10, 2022Updated 3 years ago
- ☆11Dec 19, 2021Updated 4 years ago
- Blockchain project for creators.☆27Mar 12, 2019Updated 6 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Elixir's webhook for Slack☆14May 14, 2018Updated 7 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Parse data and generate plotting scripts based on plotly.☆11Dec 8, 2025Updated 3 months ago
- ☆10Nov 1, 2021Updated 4 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 8 months ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- APIs for Aozora-bunko RESTful Service by Golang☆10Mar 20, 2022Updated 3 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- Arena offers the best engagement tools to grow your website. Liveblog, Live Chat and Wordpress widgets to increase traffic and earn reven…☆11Sep 21, 2023Updated 2 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- Fourmilab Blockchain Tools provide a variety of utilities for users, experimenters, and researchers working with blockchain-based cryptoc…☆15Aug 20, 2023Updated 2 years ago
- Yet another single process KVS server implemented over file-based database☆12Jan 10, 2020Updated 6 years ago
- Small Incompatible Timesharing System☆12Nov 23, 2022Updated 3 years ago
- https://langjamgamejam.com/☆21Dec 17, 2025Updated 2 months ago
- minimalist class construction☆19Sep 4, 2020Updated 5 years ago
- Allow editting of text documents☆14Jul 25, 2021Updated 4 years ago
- Pure-Perl OpenPGP implementation☆18Jul 28, 2017Updated 8 years ago
- Erq - Easy Relational Query Language☆12Nov 12, 2025Updated 3 months ago
- The SunOS 4.1.3 source code.☆13May 14, 2023Updated 2 years ago
- Hardware random number generator for FPGAs☆10May 7, 2015Updated 10 years ago
- Source Code form some "accient" Modula-2 Compilers from the ETHZ. Forked from http://www.cfbsoftware.com/modula2/.☆10Nov 18, 2021Updated 4 years ago
- Semantic version parsing and comparison for Rust, based on the node-semver package.☆10Nov 22, 2021Updated 4 years ago
- Solvers and makers for Pencil Puzzles☆19Nov 15, 2011Updated 14 years ago
- It's a CP/M 2.2 Emulator for Win32/64 and Linux☆11May 11, 2024Updated last year
- MARS_NWE NetWare Emulator☆13Oct 2, 2024Updated last year
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 10 years ago
- Utility commands for Maestro operating system☆14Oct 30, 2025Updated 4 months ago