Qualitative Simulation algorithm developed by Kuipers et al implementation; it is written in C# and .NET

QSIM is the software developed by B. Kuipers and co-workers. This software, and theory behind it, is documented in a book issued by MIT Press in 1994 (Qualitative Simulation, Modelling and Simulation with Incomplete Knowledge). A QSIM model is a set of constraints. These constraints are called Qualitative Differential Equations (QDE's), the idea being that a qualitative model is essentially a rewrite of Ordinary Differential Equations (ODE's) into QDE's.