niklasso / minisatpView external linksLinks
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
- Utilities for paper writing.☆12Jan 11, 2026Updated last month
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- C++ metaheuristics modeler/solver for general integer optimization problems.☆52Jan 24, 2026Updated 3 weeks ago
- A minimalistic and high-performance SAT solver☆1,140Apr 28, 2024Updated last year
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 8 years ago
- Programming system for NIC-accelerated network applications☆29Oct 5, 2018Updated 7 years ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- meta-heuristics solver for easy modeling☆30Oct 17, 2022Updated 3 years ago
- CSL styles bundled with Zotero client☆12Jan 26, 2026Updated 2 weeks ago
- riii☆10Dec 10, 2015Updated 10 years ago
- Assemblies for BanSharp☆21Sep 21, 2018Updated 7 years ago
- 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
- 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
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- Is using KoP (Kafka-On-Pulsar) a good idea? Use the scenarios implemented in this repository to check whether Pulsar with KoP enabled is …☆12Nov 3, 2022Updated 3 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Smashing Node.js: JavaScript Everywhere Examples☆11Jan 12, 2014Updated 12 years ago
- HANA XS Advanced Python Buildpack and example multi-target-application (This Repository has been archived upon Members choice)☆10Feb 19, 2020Updated 5 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆19Oct 26, 2013Updated 12 years ago
- Hyper Model helps take Machine Learning to production☆10Feb 15, 2021Updated 5 years ago
- Python bindings for libsrcml☆17Aug 25, 2025Updated 5 months 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
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- Thirdperson controller made in the .NET version of Godot 4.0 with C#☆14Mar 21, 2024Updated last year
- Nonparametric Score Estimators, ICML 2020☆36Jun 25, 2021Updated 4 years ago
- COPT (Cardinal Optimizer) release notes and links☆43Jan 13, 2026Updated last month
- ☆15Jul 18, 2023Updated 2 years ago
- How to plot for papers, slides, demos, etc.☆10Apr 7, 2022Updated 3 years ago
- ☆10Jun 28, 2025Updated 7 months ago
- ☆11Oct 21, 2023Updated 2 years ago
- This is a GitHub archive for the best known solutions and solvers of the low autocorrelation binary sequence (labs) problem. It also is a…☆11Sep 15, 2020Updated 5 years ago
- ☆12May 18, 2024Updated last year