/pkgs/applications/science/logic/

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