A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
☆28Jul 31, 2026Updated 3 months ago
Alternatives and similar repositories for MARCO
Users that are interested in MARCO are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 4 months ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- CP+SAT solver framework built to be reliable, performant, and extensible☆62Updated this week
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 4 years ago
- ☆15Jun 18, 2023Updated 3 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.
- Interactive online editor for the cyclone specification language☆12Oct 28, 2026Updated 2 weeks ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- fast probabilistic symmetry detection on graphs☆23Oct 20, 2026Updated 3 weeks ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- ☆11Jul 25, 2025Updated last year
- ☆10Jan 23, 2025Updated last year
- A package for converting IC layout (OASIS/GDS2) into 3D formats such as .GLB/glTF2.0, to load to the web.☆10Aug 8, 2023Updated 3 years ago
- The Princess Theorem Prover☆37Oct 25, 2026Updated 2 weeks ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SMT-based Simultaneous Place-&-Route for Standard Cell Synthesis for PROBE 2.0☆20Jul 22, 2020Updated 6 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆14Jun 30, 2022Updated 4 years ago
- Implementation of the Lipton-Tarjan separator algorithm for planar graphs☆14Sep 10, 2025Updated last year
- Manthan for Boolean function synthesis☆36Oct 3, 2026Updated last month
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- Explainable Constraint Solving - A Hands-On Tutorial☆31Aug 27, 2026Updated 2 months ago
- A small parallel Lean 4 typechecker based on unbound de Bruijn indexes☆17Updated this week
- ☆19Jan 23, 2026Updated 9 months ago
- McOpt is an algorithm that can efficiently solve multicommodity routing problems on networks☆16May 18, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Slides for robotics II course☆12Apr 26, 2021Updated 5 years ago
- [NSDI'22] Differential Network Analysis☆16Jun 2, 2022Updated 4 years ago
- A set of tools for leveraging pre-trained embeddings, active learning and model explainability for effecient document classification☆29Jan 23, 2025Updated last year
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 6 years ago
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 5 months ago
- ☆35Jan 20, 2017Updated 9 years ago
- Solving floating point SMT constraints on a GPU☆50Dec 22, 2020Updated 5 years ago
- ☆10Jan 7, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Jul 16, 2020Updated 6 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- Convert regular expressions to trigram queries in the spirit of Google's codesearch.☆24Jun 10, 2023Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆40Mar 25, 2025Updated last year
- Nomad Client for NodeJS.☆19Feb 11, 2024Updated 2 years ago
- QuickStart of Apache Calcite.☆11Mar 3, 2021Updated 5 years ago
- ☆17Jan 14, 2025Updated last year
Are these results useful?