satsat-solverscnf

Is there any tool that implements a non-CNF SAT solver?


I need a SAT solver able to take as input not only CNF files but also normal txt files containing propositional clauses (written with only and or and not).

I couldn't find any. Could you please point out one?


Solution

  • After having searched carefully I have found limboole: http://fmv.jku.at/limboole/.

    It's really useful because it accepts any propositional logic formula and it can either compute whether it's valid or satisfiable.