State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
☆30Nov 5, 2025Updated 11 months ago
Alternatives and similar repositories for EvalMaxSAT
Users that are interested in EvalMaxSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An exact weighted model counter based on algebraic decision diagrams☆10Jul 12, 2026Updated 3 months ago
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 6 months ago
- Dimacs CNF utilities☆21Sep 29, 2026Updated last month
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Sep 25, 2026Updated last month
- 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.
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 5 months ago
- BDD based DQBF solver☆13Dec 8, 2022Updated 3 years ago
- UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …☆32Aug 6, 2026Updated 2 months ago
- Entry to model counting competition 2021.☆26Jun 25, 2024Updated 2 years ago
- LLM-legible version of Michael Hodel's arc-dsl☆10Jan 13, 2025Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- Python implementation of lstar automata learning algorithm.☆10Jan 23, 2024Updated 2 years ago
- ☆15Jun 18, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆20Dec 17, 2025Updated 10 months ago
- Applications of reinforcement learning to Groebner basis computation.☆15Jun 13, 2021Updated 5 years ago
- BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver☆11Mar 28, 2023Updated 3 years ago
- ☆682Oct 23, 2026Updated last week
- C++ header-only ESOP library☆16May 18, 2024Updated 2 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Hitachi Hi-Kumo bridge to HomeAssistant over MQTT☆13Dec 12, 2023Updated 2 years ago
- Extension of Microsoft Q# resource estimator for cat qubits + repetition code☆12Oct 12, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- fast probabilistic symmetry detection on graphs☆23Oct 20, 2026Updated 2 weeks ago
- A tool for validating planning models specified in the Hierarchical Domain Definition Language (HDDL) format.☆11Oct 24, 2026Updated last week
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Dec 12, 2014Updated 11 years ago
- Dynamic Clifford+T surface code compiler☆18Updated this week
- Butler-Portugal algorithm for tensor canonicalization☆17Sep 26, 2026Updated last month
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆24Jul 18, 2024Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 5 years ago
- static symmetry breaking for SAT☆26May 26, 2026Updated 5 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- 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.
- ☆17Oct 26, 2026Updated last week
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated last year
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 4 years ago
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- Codes related to the article on factorization with a memory☆10Aug 2, 2022Updated 4 years ago
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Feb 18, 2021Updated 5 years ago