nyuichi / yabai-satView external linksLinks
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 4 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:
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- The C3, SMT/SAT solver written in C.☆35Aug 10, 2025Updated 6 months ago
- LMNtal Compiler☆21May 10, 2025Updated 9 months 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
- 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
- Elixir's webhook for Slack☆14May 14, 2018Updated 7 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- APIs for Aozora-bunko RESTful Service by Golang☆10Mar 20, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 3 weeks ago
- ☆10Nov 1, 2021Updated 4 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Parse data and generate plotting scripts based on plotly.☆11Dec 8, 2025Updated 2 months ago
- 收集了一些经典的神经网络论文☆12Aug 11, 2024Updated last year
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 years ago
- minimalist class construction☆19Sep 4, 2020Updated 5 years ago
- The FreeDOS mouse driver☆16May 7, 2016Updated 9 years ago
- FOCAL interpreter in lex/yacc/c, which runs all of the classic Digital (DEC) FOCAL programs like Lunar Lander and Hamurabi.☆17Apr 8, 2025Updated 10 months ago
- copy one disk or image file to an other☆11Dec 23, 2020Updated 5 years ago
- A snake game for MS-DOS. 🐍☆19Sep 3, 2024Updated last year
- Read-only mirror. Please submit merge requests / issues to https://gitlab.com/libvirt/libvirt-perl☆13Jan 16, 2026Updated last month
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 10 years ago
- ☆10Jun 12, 2023Updated 2 years ago
- Moesif Middleware for Python Django, for API Monitoring, Analytics, and Monetization.☆11Jul 12, 2025Updated 7 months ago
- Smalltalk System includes VM and Native system☆13Jul 13, 2020Updated 5 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- Small Incompatible Timesharing System☆12Nov 23, 2022Updated 3 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- Implementation of CoAP Server & Client in Go by @Kistler-Group☆13Jun 22, 2021Updated 4 years ago
- Implementing CIFS (SMB) protocol in Perl☆14Aug 30, 2018Updated 7 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 9 years ago
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated 9 months 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