A SAT solver based on the genetic algorithm written in rust
Genetic SAT is not a production ready create. Its only purpose was to compare it with cugen
After cloning the repository, run:
cargo build -r
target/release/genetic_sat -p <population-size> -u <mutation-probability> -m <maximum-generation> -f /path/to/formula.dimacs