This project is the solution given to a university assignment.

First it was created for a local search SAT solvers competition. But as we are seeing more algorithms these ones are being integrated to the original solver.

All the algorithms are first added as a test version and then are improved step by step.

Algorithms and Program Arguments

• To specify the path to the cnf formula file

  -f/--file {FILE}

• To specify the algorithm to solve the formula

  -a/--algorithm {gsat, gwsat, dp}

  The possible algorithms are:

    - gsat      [GSAT]
    - gwsat     [GWSAT]
    - dp        [Davis-Putnam]
    - dpll		[Davis-Putnam-Logemann-Loveland]
  

• To specify the variable selection heuristic

  -vsh/--vselection {most_often, most_equilibrated}

  This argument is only used by the following algorithms:

    - dp
    - dpll
  

• To use a weighted version of the algorithms

  -w/--weighted

  This argument is only used by the following algorithms:

    - gsat
    - gwsat