Minisat won't compile for newer versions of GCC or CLANG

bandogora / simple-vsat

A simple Verilog verification tool based on MiniSat.

MIT License

0 stars 0 forks source link

Minisat won't compile for newer versions of GCC or CLANG #2

Closed bandogora closed 4 years ago

bandogora commented 4 years ago

Minisat compiles fine on my UIbuntu 7.4.0 install but not Arch 9.2.1. It seems Minisat is no longer being maintained as there is an open issue and pull request that have not been addressed in about 6 years now.

Options are to 1) switch to a fork 2) create my own fork 3) change SAT solvers.

bandogora commented 4 years ago

Closed by #3