Eqchem is a solver for chemical equations integrated to Kalzium. It uses a state-of-the art constraint programming solver.

eqchem solves simple chemical equations of the form :
a formula1 + b formula2 … -> c formula3 + d formula4 ..
like in : aCH3CH2OH + bO2 -> cH2O + dCO2
(eqchem suggests 1 CH3CH2OH + 3 O2 -> 3 H2O + 2 CO2 as a solution)

The solver finds integer values for the quantities a, b, c, d
and can be used to point out mistakes in formula or for searching new ones.

It is also possible to give initial values for the quantities a, b, c ..
for instance 3 CH3CH2OH + bO2 -> cH2O + dCO2
(a possible solution is : 3 CH3CH2OH + 9 O2 -> 9 H2O + 6 CO2)

This program also demonstrates how to interface the FaCiLe library
with C++ applications for solving complex problems
(the eqchem solver part takes about 25 lines of caml code).

Download the latest version (0.4) here (last update : 20-01-2005). A precompiled program for Fedora Core 3 (kde 3.3) is included in the archive