Search Results for "#sat solver"
Sort By:
Showing 17 open source projects for "#sat solver"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
1
Zat 1.0
Fast N-SAT solver for Windows 10
Zat is an Onagan project. It is a very fast sat solver for .cnf, .dimacs, ... Zat is an O(n^log(n)) time complexity algorithm, which is faster than O((1+e)^n) for e strictly positive. The space complexity is O(n). The version 1.0 is exclusively for Windows 10. -
2
Volunteer workshift scheduler
Volunteer workshift scheduler for a helpline service
Code written in Python finds the best possible schedule for volunteers while incorporating constrains and special requirements using CP-SAT Solver (Constraint Programming - boolean SATisfiability problem Solver). Java version is in development. The problem Arranging volunteers for a helpline service for the period of one month. There are three types of work that could be done on the same day: Phone shift: Every day. Chat shift: Mondays and Wednesdays. ... -
3
CQU
Decision solver for Counting Quantifiers over Unary Predicates
...It also emplouys COIN-OR Clp linear programming solver, and inherit from it. Given a CQUSAT instance in normal form as input, the program returns a solution, if there is one. The implemented method employs dual Simplex Algorithm with Column Generation. At each iteration, a SAT instance is generated and a SAT Solver (minisat) decides its satisfiability. Details about CQUSAT, its normal form and this turing reduction can be found in the paper "CQUSAT.pdf" that comes with this package. ... -
4
Nigma
A CDCL SAT solver with partial backtracking
-
Free and Open Source HR SoftwareGive your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
-
5
#3SAT Solver: Model Listing
Counts Satisfiable Solutions
#3SAT finds all satisfiable solutions to a 3CNF Formula. This particular solver can count or return all solutions or a hash of them in binary or Ascii format. -
6
SAT Solver
SAT Solver
SAT Solver for L3:proj 2 at ENS Lyon -
7
-
8
-
9
A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.
-
Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
-
10
-
11
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
-
12
AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.
-
13
During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).
-
14
-
15
This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.
-
16
NDP-blueprint-thief
Non-Deterministic Processor (NDP) - efficient parallel SAT-solver
Non-Deterministic Processor (NDP) - efficient parallel SAT-solver with unlimited linear scalability over multi-core deployments. -
17
Tiger Solver is a sat-solver written in C. Using the DPLL algorithm and reading file in DIMACS format (cnf boolean expression). Tiger Solver use most features of many important sat-solver: - Double watches list - Chronological Backtracking ....
- Previous
- You're on page 1
- Next
