minisat
Here are 46 public repositories matching this topic...
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
-
Updated
May 13, 2023 - C++
Finding shortest path and minimum vertex cover of the street graph.
-
Updated
May 4, 2022 - C++
RSAT
-
Updated
Aug 2, 2023 - Python
Combinational Logic Circuits SAT analyzer.
-
Updated
Mar 26, 2020 - C++
Program that gets from user or randomly generates streets (multilinear segment approximation) with name and segment coordinates, gets the graph formed by the streets with intersections and adjacent street nodes as vertices, and finds shortest path (one of) between any 2 nodes of the resultant undirected and unweighted graph. Vertex Cover program…
-
Updated
Mar 17, 2022 - C++
Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay
-
Updated
May 14, 2023 - C
Discrete Optimization Algorithms
-
Updated
Nov 23, 2022 - C++
Solving a Graph Subset Mapping Problem using MiniSAT
-
Updated
Jan 26, 2021 - C++
An Algorithm to Minimize The SAT Model Returned By a SAT Solver
-
Updated
Apr 8, 2024 - C++
A Minisat-based solver for 9*9 sudoku boards.
-
Updated
Apr 15, 2021 - C++
SAT-based Sudoku solver, written in Python.
-
Updated
Apr 17, 2017 - C
Implementation of n x n SAT Sudoku solver using minisat
-
Updated
Apr 2, 2021 - Java
A SAT-based forward/backwards solver for Conway's "Game of Life".
-
Updated
Mar 30, 2021 - C++
A Javascript API for the MiniSat and MiniCard constraint solvers.
-
Updated
Jan 2, 2024 - C++
Improve this page
Add a description, image, and links to the minisat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minisat topic, visit your repo's landing page and select "manage topics."