Topic: sat-solver Goto Github
Some thing interesting about sat-solver
Some thing interesting about sat-solver
sat-solver,A constraint solver built from scratch in OCaml
User: acorrenson
Home Page: https://jdrprod.github.io/modulus
sat-solver,Tiny verified SAT-solver
User: acorrenson
sat-solver,Scala library for solving NP-hard probems
User: agilot
sat-solver,The glucose SAT solver
User: audemard
Home Page: https://www.labri.fr/perso/lsimon/research/glucose/
sat-solver,A (parametrized) Rust SAT solver originally based on MiniSat
User: c-cube
Home Page: https://docs.rs/batsat/
sat-solver,A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
User: c-cube
Home Page: https://c-cube.github.io/sidekick/
sat-solver,gophersat, a SAT solver in Go
Organization: crillab
sat-solver,DPLL(T)-based Verification tool for DNNs
Organization: dynaroars
sat-solver,SAT-based generator for Alcazar puzzles
User: flopp
sat-solver,GAPT: General Architecture for Proof Theory
Organization: gapt
Home Page: https://logic.at/gapt/
sat-solver,A modular sat/smt solver with proof output.
User: gbury
Home Page: https://gbury.github.io/mSAT/
sat-solver,A fast SAT solver
Organization: go-air
sat-solver,SAT solver library in Go; wraps around Google's Operational Research Tools
User: irfansharif
sat-solver,SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
User: kapilhk
sat-solver,A diabolic implementation of mcSAT 😈
User: louisabraham
sat-solver,Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
User: marcmelis
sat-solver,A fast and certifying solver for quantified Boolean formulas.
User: markusrabe
Home Page: https://www.eecs.berkeley.edu/~rabe/
sat-solver,Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
User: matthiasnickles
sat-solver,A Free World Class High Performance SAT Solver
User: maxtuno
Home Page: https://maxtuno.github.io/slime-sat-solver
sat-solver,Use MiniZinc in the browser or with NodeJS
Organization: minizinc
Home Page: https://js.minizinc.dev
sat-solver,Access to all MiniZinc functionality directly from Python
Organization: minizinc
Home Page: https://python.minizinc.dev
sat-solver,Experimental minisat SAT solver reimplementation in Rust
User: mishun
sat-solver,Go (golang) bindings to the Z3 SMT Solver
User: mitchellh
sat-solver,My sandbox for experimenting with solver algorithms.
User: msakai
sat-solver,An advanced SAT solver
User: msoos
Home Page: https://www.msoos.org
sat-solver,DPLL boolean satisfiability solver for .NET
Organization: nano-byte
Home Page: https://sat-solver.nano-byte.net
sat-solver,C++ implementation of the DPLL Algorithm
User: oldgalileo
Home Page: https://en.wikipedia.org/wiki/DPLL_algorithm
sat-solver,Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
User: panhomyoung
sat-solver,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
sat-solver,Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
User: satyendrabanjare
Home Page: https://satyendrabanjare.com/plt-formal-methods-resources
sat-solver,Haskell bindings for PicoSAT solver
User: sdiehl
sat-solver,Symbolic logic expressions
User: sdiehl
sat-solver,A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
User: sgomber
sat-solver,A SAT solver written in Haskell.
User: shnarazk
Home Page: https://gitlab.com/satisfiability01/mios/
sat-solver,A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
User: shnarazk
Home Page: https://crates.io/crates/splr
sat-solver,The Yices SMT Solver
Organization: sri-csl
Home Page: https://yices.csl.sri.com/
sat-solver,Simple Theorem Prover, an efficient SMT solver for bitvectors
Organization: stp
Home Page: https://stp.github.io/
sat-solver,A simple SAT solver based on the CDCL algorithm
User: sukrutrao
sat-solver,A simple SAT solver that implements the DPLL algorithm with unit resolution
User: sukrutrao
sat-solver,A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
User: sukrutrao
Home Page: https://timetabler.readthedocs.io
sat-solver,Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
User: thtran97
sat-solver,A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
User: togatoga
sat-solver,A Header-Only CDCL SAT Solver for Programming Contest
User: togatoga
sat-solver,Problem solving à la carte
User: tomasmikula
sat-solver,SAT-solver based on resolution method in 2-CNF using PLY
User: vpozdnyakov
sat-solver,a Pythonic toolkit for working with Boolean expressions
User: welchbj
Home Page: https://tt.brianwel.ch
sat-solver,An ocaml implementation of conflict-driven reasoning
Organization: witan-org
sat-solver,Simple SAT solver with CDCL implemented in Python
User: z11i
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.