The Pseudo-Boolean Solver MiniSat+
☆29Oct 2, 2012Updated 13 years ago
Alternatives and similar repositories for minisatp
Users that are interested in minisatp are comparing it to the libraries listed below
Sorting:
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- C++ metaheuristics modeler/solver for general integer optimization problems.☆53Jan 24, 2026Updated last month
- A minimalistic and high-performance SAT solver☆1,145Apr 28, 2024Updated last year
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 8 years ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆36Jan 16, 2025Updated last year
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- 北京大学本科生毕业论文 latex 模版，基于 pkuthss 1.9.0 修改☆27May 15, 2022Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- meta-heuristics solver for easy modeling☆29Oct 17, 2022Updated 3 years ago
- Prefix-Aware Attention for LLM Decoding☆29Jan 23, 2026Updated last month
- A step-by-step guide to setting up and running DeepSeek locally using Ollama, making it accessible via a browser as an offline chatbot.☆10Jan 30, 2025Updated last year
- riii☆10Dec 10, 2015Updated 10 years ago
- Assemblies for BanSharp☆21Sep 21, 2018Updated 7 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 7 months ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Python bindings for libsrcml☆17Aug 25, 2025Updated 6 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆19Oct 26, 2013Updated 12 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Hyper Model helps take Machine Learning to production☆10Feb 15, 2021Updated 5 years ago
- Smashing Node.js: JavaScript Everywhere Examples☆11Jan 12, 2014Updated 12 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- [ICDCS 2023] Evaluation and Optimization of Gradient Compression for Distributed Deep Learning☆10Apr 28, 2023Updated 2 years ago
- Code accompanying the NeurIPS 2019 paper AutoAssist: A Framework to Accelerate Training of Deep Neural Networks.☆14Oct 3, 2022Updated 3 years ago
- Local server for Windows or Linux to run clients without an Internet connection.☆10Apr 27, 2022Updated 3 years ago
- COPT (Cardinal Optimizer) release notes and links☆45Jan 13, 2026Updated last month
- Parse and Convert a Dockerfile to Bash script.☆11Apr 20, 2018Updated 7 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- Peking University Convex Optimization Course given by Professor Wen Zaiwen☆11Jan 11, 2018Updated 8 years ago
- ☆10May 16, 2021Updated 4 years ago
- How to plot for papers, slides, demos, etc.☆10Apr 7, 2022Updated 3 years ago
- Standard cell placement (global and detailed) tool based on modified algorithm “simulated annealing”☆12Jan 7, 2026Updated 2 months ago
- ☆11Apr 3, 2023Updated 2 years ago
- A cross-platform multi-player 3D arcade game implemented entirely in plain C and OpenGL.☆10Aug 15, 2015Updated 10 years ago
- musl libc projects (such as _BSD_SOURCE)☆18Jan 1, 2014Updated 12 years ago