Search Results for "#sat solver"
Sort By:
Showing 10 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.
-
Total Network Visibility for Network Engineers and IT ManagersThis means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
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
-
Streamline your sports training business with sports scheduling software.Designed by coaches, for coaches, our software takes care of tedious admin tasks like client scheduling and payment processing, so you can focus on what you love - coaching athletes. With intuitive booking experiences and staff management tools for your lessons, camps, clinics, and training programs, Upper Hand empowers your business to offer a seamless customer experience that increases satisfaction and drives repeat business. See how our forward-thinking technology can give your sports training business a competitive edge.
-
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
-
7
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.
-
8
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.
-
9
-
ClouDNS provides fast and secure Free DNS Hosting and Premium DNS Hosting with Global Anycast DNS Network.ClouDNS is the biggest European provider of globally Managed DNS services, including GeoDNS, Anycast DNS and DDoS protected DNS. We also offer Domain names, Monitoring services, SSL Certificates, and Google Workspace.
-
10
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.
- Previous
- You're on page 1
- Next
