The Stochastic Local Search SAT Solver from UBC
☆33Apr 10, 2022Updated 4 years ago
Alternatives and similar repositories for ubcsat
Users that are interested in ubcsat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MiniCard: An efficient cardinality solver based on MiniSAT☆21Updated this week
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- The probSAT SAT Solver☆26Oct 21, 2022Updated 3 years ago
- Resources for recent AI systems (deployment concerns, cost and accessibility). -- closed☆12May 29, 2021Updated 5 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- 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.
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- ☆16Jun 24, 2024Updated 2 years ago
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated last year
- Step by step manual for building KLEE☆18Jul 21, 2017Updated 9 years ago
- ☆10Apr 21, 2023Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆42Nov 20, 2023Updated 2 years ago
- Logic optimization and technology mapping tool.☆20Oct 12, 2023Updated 2 years ago
- 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.
- ☆11Jul 8, 2018Updated 8 years ago
- ☆10Mar 16, 2016Updated 10 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆41Apr 11, 2023Updated 3 years ago
- Dynex has also developed a proprietary circuit design, the Dynex Neuromorphic Chip, that complements the Dynex ecosystem and turns any mo…☆15May 26, 2023Updated 3 years ago
- SATZilla SAT feature extraction tool☆15Mar 23, 2026Updated 6 months ago
- ☆11Feb 20, 2020Updated 6 years ago
- web based visualizations of discrete optimization assignments☆27May 11, 2017Updated 9 years ago
- Creates a bridge between python 2.7 (needed for NaoQi) and python 3☆13Feb 15, 2020Updated 6 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated last year
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- http://a-terada.github.com/lamp/☆14Jul 14, 2023Updated 3 years ago
- Demo notebook of Ibis for "Spark + Python + Dita science Festival"☆12Jul 28, 2016Updated 10 years ago
- ☆55Mar 26, 2016Updated 10 years ago
- An implementation of a USB-CDC-UART bridge for Raspberry Pi Pico.☆15Feb 12, 2026Updated 7 months ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Oct 3, 2021Updated 4 years ago
- Golang binding for Menoh DNN inference library☆15Nov 1, 2018Updated 7 years ago
- The C3, SMT/SAT solver written in C.☆36Aug 10, 2025Updated last year
- ☆32Feb 22, 2024Updated 2 years ago
- Simplifies the process of slicing STLs using existing config profiles in the PrusaSlicer command line interface☆15May 12, 2020Updated 6 years ago
- Whether you’re using LLMs or not, Symflower helps you build better software by pairing static, dynamic and symbolic analyses with LLMs. T…☆26Jun 30, 2025Updated last year
- A minimalistic and high-performance SAT solver☆1,189Apr 28, 2024Updated 2 years ago