SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic. It can be used as a standalone theory prover or as an embedded reasoning engine.

Download SPINdle from the following links (Build Version 1.0.0 - 16 June 2009)

spindle_bin_1.0.0-0.jar
SPINdle - All Platforms - JAR file
spindle_all_1.0.0.zip
SPINdle - All Platforms - ZIP file
spindle_all_1.0.0.tar.gz
SPINdle - All Platforms - GZIP file
spindle_src_1.0.0.zip
SPINdle - Source Code - ZIP File
spindle_src_1.0.0.tar.gz
SPINdle - Source Code - GZIP file
spindleEditor_bin_linux_1.0.0-0.jar
SPINdle Editor - Linux - JAR file
spindleEditor_all_linux_1.0.0.tar.gz
SPINdle Editor - Linux - GZIP file
spindleEditor_all_linux_1.0.0.zip
SPINdle Editor - Linux - ZIP file
spindleEditor_src_linux_1.0.0.tar.gz
SPINdle Editor - Source Code - GZIP file
spindleEditor_src_linux_1.0.0.zip
SPINdle Editor - Source Code - ZIP file
spindleEditor_all_mac_1.0.0.tar.gz
SPINdle Editor - MacOS - GZIP file
spindleEditor_all_mac_1.0.0.zip
SPINdle Editor - MacOS - ZIP file
spindleEditor_src_mac_1.0.0.tar.gz
SPINdle Editor - MacOS - Source - GZIP file
spindleExamples_all_1.0.0.tar.gz
Examples - All - GZIP File
spindleExamples_all_1.0.0.zip
Examples - All - ZIP File
spindleExamples_bin_1.0.0-0.jar
Examples - Bin - Jar File
spindleExamples_src_1.0.0.tar.gz
Examples - Src - GZIP File
spindleExamples_src_1.0.0.zip
Examples - Src - ZIP File