about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
ModeNameSize
d---------abc39log plain
d---------abella39log plain
d---------acgtk39log plain
d---------aiger39log plain
d---------alt-ergo39log plain
d---------anders39log plain
d---------aspino39log plain
d---------avy131log plain
d---------beluga39log plain
d---------bitwuzla39log plain
d---------boolector84log plain
d---------btor2tools39log plain
d---------cadical39log plain
d---------cbmc110log plain
d---------cedille118log plain
d---------celf39log plain
d---------clprover40log plain
d---------coq39log plain
d---------cryptominisat39log plain
d---------cryptoverif39log plain
d---------cubicle39log plain
d---------cvc393log plain
d---------cvc485log plain
d---------cvc539log plain
d---------drat-trim39log plain
d---------easycrypt78log plain
d---------ekrhyper39log plain
d---------elan107log plain
d---------eprover39log plain
d---------fast-downward39log plain
d---------formula76log plain
d---------gappa39log plain
d---------glucose76log plain
d---------hol39log plain
d---------hol_light39log plain
d---------iprover39log plain
d---------isabelle76log plain
d---------key39log plain
d---------kissat94log plain
d---------klee82log plain
d---------lci39log plain
d---------lean39log plain
d---------lean239log plain
d---------leo239log plain
d---------leo338log plain
d---------lingeling39log plain
d---------logisim-evolution39log plain
d---------logisim39log plain
d---------ltl2ba39log plain
d---------mcrl239log plain
d---------mcy39log plain
d---------metis-prover39log plain
d---------minisat39log plain
d---------monosat39log plain
d---------naproche39log plain
d---------nuXmv39log plain
d---------nusmv39log plain
d---------open-wbo39log plain
d---------opensmt39log plain
d---------ott39log plain
d---------petrinizer39log plain
d---------picosat39log plain
d---------poly39log plain
d---------potassco78log plain
d---------prooftree39log plain
d---------prover939log plain
d---------proverif39log plain
d---------redprl39log plain
d---------sad118log plain
d---------satallax93log plain
d---------saw-tools39log plain
d---------spass39log plain
d---------statverif39log plain
d---------stp39log plain
d---------surelog39log plain
d---------symbiyosys39log plain
d---------symfpu39log plain
d---------tamarin-prover39log plain
d---------tlaplus115log plain
d---------tptp39log plain
d---------twelf39log plain
d---------uhdm39log plain
d---------vampire39log plain
d---------verifast39log plain
d---------verit39log plain
d---------why383log plain
d---------workcraft39log plain
d---------yices90log plain
d---------z3112log plain
d---------zchaff83log plain