src/HOL/Tools/Argo/argo_sat_solver.ML
2016-10-02 wenzelm 2016-10-02 updated headers;
2016-09-29 boehmes 2016-09-29 use argo as additional SAT solver with models but no proofs, since the proof trace formats are not easily translatable