The Pseudo-Boolean Solver MiniSat+
☆29Oct 2, 2012Updated 14 years ago
Alternatives and similar repositories for minisatp
Users that are interested in minisatp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OpenCL SAT solver☆16Jul 15, 2011Updated 15 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- A minimalistic and high-performance SAT solver☆1,196Apr 28, 2024Updated 2 years ago
- The probSAT SAT Solver☆27Oct 21, 2022Updated 4 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tools used to make the SHA-1 collision detection library☆13Mar 16, 2017Updated 9 years ago
- Code for providing incomplete factorizations of symmetric indefinite matrices.☆11Apr 23, 2025Updated last year
- CUDA Graph runtime tensor debugging utilities for PyTorch☆18Jul 12, 2026Updated 3 months ago
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- KaPoCE is a framework for solving the cluster editing problem that asks to transform an input graph into a cluster graph (a disjoint unio…☆10Dec 19, 2022Updated 3 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆14Nov 14, 2025Updated 11 months ago
- Utilities for paper writing.☆12Jan 11, 2026Updated 9 months ago
- CP 2015 subgraph isomorphism experiments, data and paper☆13Sep 5, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 4 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆14Jun 30, 2022Updated 4 years ago
- A framework for using an Android Wear watch as a remote controller.☆16Sep 29, 2019Updated 7 years ago
- Can you go outside? Check SCAREDI-PI - the Simple Covid Ambient Reminder E-Ink Display for (Raspberry) Pi☆13Nov 27, 2020Updated 5 years ago
- A shallow fork of CXSparse adding build files for Visual Studio☆13Sep 1, 2012Updated 14 years ago
- C++ metaheuristics modeler/solver for general integer optimization problems.☆55Oct 14, 2026Updated 2 weeks ago
- A parallel out-of-core push-relabel algorithm for massive graphs with a regular structure☆10Feb 18, 2013Updated 13 years ago
- Parametric Integer Programming Library☆15Aug 28, 2026Updated 2 months ago
- Sequential object-oriented simPlex☆86Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model☆13Jan 19, 2020Updated 6 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 4 years ago
- Cube-and-Conquer SAT solver☆45Jul 14, 2025Updated last year
- An open implementation of the MC family of maximum clique algorithms☆14Aug 4, 2016Updated 10 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- HANA XS Advanced Python Buildpack and example multi-target-application (This Repository has been archived upon Members choice)☆10Feb 19, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Project repository for MA6040: Fuzzy Logic Connectives: Theory and Applications offered in Spring 2019☆12Jun 5, 2019Updated 7 years ago
- Experimental functional language☆17Dec 24, 2025Updated 10 months ago
- NVIDIA GPU Computing SDK 4.2.9. Fixing some stupid compilation bugs in the make files of the projects.☆18Jul 3, 2012Updated 14 years ago
- Material from my workshops☆16Oct 23, 2026Updated last week
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- Hex editor written in Python☆17Mar 12, 2014Updated 12 years ago
- This is a read-only mirror of the CRAN R package repository. Ckmeans.1d.dp — Optimal, Fast, and Reproducible Univariate Clustering☆18Jul 26, 2026Updated 3 months ago