I would like to get all the solution from minisat

81 views

Skip to first unread message

Michael Motis

unread,

Nov 12, 2020, 6:03:24 AM11/12/20

to MiniSat

I have a small problem with nqueens sat problem. i have my .cnf file and i take out only 1 solution. is it possible to get all the possible solutions? I know is not the fastest version but i would like to see all the solutions.