|
Jupyter Notebook |
14 |
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - … |
Jan 04, 2023 |
|
Java |
2 |
CDCL SAT Solver with different Branch Picking and Conflict Analysis implementations |
Jan 03, 2024 |
|
Kotlin |
8 |
Pure Kotlin CDCL SAT solver |
Jan 22, 2023 |
|
Rust |
29 |
A modern CDCL SAT solver in Rust |
Jul 28, 2022 |
|
Python |
11 |
Simple SAT solver with CDCL implemented in Python |
Mar 06, 2023 |
|
C++ |
87 |
⚙️ A conflict-driven nogood learning answer set solver |
Jul 31, 2022 |
|
Haskell |
3 |
SAT Solver written in Haskell |
Nov 02, 2022 |
|
C++ |
4 |
SAT-based sudoku solver |
May 05, 2021 |
|
Java |
6 |
A SAT-solver based Sudoku puzzle solver. |
Mar 05, 2022 |
|
Haskell |
33 |
A SAT solver written in Haskell. |
Mar 01, 2022 |
|
Go |
127 |
SAT solver written in Go (golang). |
May 12, 2022 |
|
Python |
8 |
FOND solver based on SAT |
May 05, 2022 |
|
Racket |
8 |
A simple SAT solver based on DPLL written in Racket. |
Mar 16, 2023 |
|
Haskell |
2 |
A DPLL SAT solver written in Haskell |
Dec 05, 2019 |
|
C++ |
3 |
SAT solver based on tableaux method |
Jul 13, 2020 |
|
Python |
5 |
Proof-generated, BDD-based SAT solver |
Jan 28, 2023 |
|
Rust |
2 |
A DPLL SAT solver written in pure Rust |
Jan 15, 2024 |
|
OCaml |
3 |
Propositional logic SAT solver using the DPLL method. Supported by a lexer, parser, and clause … |
May 07, 2023 |
|
Python |
32 |
SAT-based solver for the Hexiom logic puzzle |
Mar 11, 2023 |
|
C++ |
3 |
Parallel SAT solver based on search space splitting |
Apr 14, 2023 |
|
Python |
11 |
Sudoku solver based on SAT (Boolean Satisfiability) in python |
Aug 19, 2022 |
|
Rust |
27 |
A (parametrized) Rust SAT solver originally based on MiniSat |
Mar 02, 2023 |
|
Java |
3 |
Azucar: a SAT-based CSP solver based on compact order encoding |
Oct 06, 2021 |
|
Python |
7 |
SAT-solver based on resolution method in 2-CNF using PLY |
Mar 20, 2022 |
|
SMT |
6 |
A modular SMT solver in OCaml, based on mcSAT |
Jan 15, 2022 |
|
Rust |
515 |
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. |
May 03, 2023 |
|
Prolog |
2 |
A simple SAT-Solver written in Prolog as part of an university project. |
Nov 10, 2023 |
|
Haskell |
4 |
Learning based Rubik's cube solver |
Sep 29, 2019 |
|
SMT |
38 |
[research] A modular SMT solver in OCaml, based on mcSAT |
Mar 16, 2023 |
|
Python |
8 |
Sudoku Solver based on Deep Learning |
May 11, 2020 |
|
OCaml |
6 |
A blockchain-based chan written in OCaml |
May 09, 2023 |
|
None |
5 |
This is an official implementation for “DeepSAT: An EDA-Driven Learning Framework for SAT". |
Mar 01, 2023 |
|
Julia |
139 |
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search. |
May 03, 2023 |
|
Scala |
48 |
Probabilistic Answer Set and SAT solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic … |
May 27, 2023 |
|
Python |
7 |
Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: … |
Nov 04, 2022 |
|
C++ |
29 |
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat … |
Apr 24, 2023 |
|
Jupyter Notebook |
2 |
Gene expression driven deep-learning based aging clock |
Jan 09, 2022 |
|
C++ |
2 |
A non guessing logic based Sudoku solver written in Qt C++ |
Sep 12, 2022 |
|
Python |
9 |
Next-generation scheduling problem solver based on GNNs and Reinforcement Learning |
Apr 22, 2023 |
|
C++ |
3 |
A 2D grid-based partial differential equation solver written in CUDA C |
Sep 20, 2021 |
|
OCaml |
11 |
🍅 🐪 Socket-based CLI timer following the Pomodoro principles, written in OCaml. |
Jul 17, 2022 |
|
Python |
10 |
Spikingformer: Spike-driven Residual Learning for Transformer-based Spiking Neural Network |
Jun 24, 2023 |
|
Python |
481 |
A webcam-based 3x3x3 rubik's cube solver written in Python 3 and OpenCV. |
Aug 15, 2022 |
|
None |
2 |
A webcam-based 3x3x3 rubik's cube solver written in Python 3 and OpenCV. |
Apr 26, 2022 |
|
Python |
5 |
A plugin driven, DBus based notification system written for the Gnome desktop |
Jan 30, 2018 |
|
OCaml |
3 |
Toy SMT solver, for deciding SAT with equality theroy. Written for the Sémantique et applications … |
Jul 25, 2019 |
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |