A generic sequent prover for propositional finitely-valued logics.
logic description language and simulator
A tool that processes first-order logic problems and tries to find finite-domain models for them; written by Koen Claessen and Niklas Sörensson. Haskell and C++; free download under GPL.
PCISIM is both a logic simulation library and a PCI simulation environment coded using the simulation library.
A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
A forward-chaining reasoning engine for defeasible logic, a less expressive but more efficient nonmonotonic logic.
development package that offers complete support for ICT's family of PEEL (Programmable Electronically Erasable Logic) Arrays and Devices
Mixed-signal analog and logic simulation software