A SAT Solver using search techniques (DFS, BFS, A*) and metaheuristic (genetic Algorithm and PSO) in JAVA. And a comparison of their efficiency and execution time.

Testing DATASETS

we tested our algorihms with 2 different datasets from the following benchmark instances

• uf20-91 20 variables, 91 clauses - 1000 instances, all satisfiable
• uf75-325 75 variables, 325 clauses - 100 instances, all sat/unsat

Dependecies

• JAVA 8