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.
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
- JAVA 8