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?
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.