/pkgs/applications/science/logic/

• ../
• abc
• abella
• acgtk
• aiger
• alt-ergo
• anders
• aspino
• avy
• beluga
• bitwuzla
• boolector
• btor2tools
• cadical
• cbmc
• cedille
• celf
• clprover
• coq
• cryptominisat
• cryptoverif
• cubicle
• cvc3
• cvc4
• cvc5
• dafny
• drat-trim
• easycrypt
• egglog
• ekrhyper
• elan
• eprover
• fast-downward
• formula
• gappa
• glucose
• hol
• hol_light
• iprover
• isabelle
• key
• kissat
• klee
• lci
• lean
• lean2
• lean4
• leo2
• leo3
• lingeling
• logisim-evolution
• logisim
• ltl2ba
• mcrl2
• mcy
• metis-prover
• minisat
• monosat
• msat
• naproche
• netlistsvg
• nuXmv
• nusmv
• open-wbo
• opensmt
• ott
• petrinizer
• picosat
• poly
• potassco
• prooftree
• prover9
• proverif
• redprl
• satallax
• saw-tools
• sharpsat-td
• spass
• statverif
• stp
• surelog
• symbiyosys
• symfpu
• tamarin-prover
• tlaplus
• tptp
• twelf
• uhdm
• vampire
• verifast
• verit
• why3
• workcraft
• yices
• z3
• zchaff