RSS 2 projects tagged "Mathematics"

No download Website Updated 19 Nov 2003 JScript Logic

Screenshot
Pop 31.94
Vit 1.00

JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.

No download Website Updated 03 Oct 2006 Molle

Screenshot
Pop 13.56
Vit 1.00

Molle is a cross-platform prover for modal logic. It exploits the modal semantic tableaux method. It features a very usable graphical interface, with an interactive representation of generated models.

Screenshot

Project Spotlight

gtatool

A program that manipulates Generic Tagged Arrays (GTA) files.

Screenshot

Project Spotlight

fio

A flexible I/O tester/benchmarker.