General Triangle Solver using CLIPS rule-based system
CLIPSGPL-3.0
CLIPS triangle solver
From the CLIPS prompt, just execute (batch main.clp) to execute the solver.
Change the instance number in main.clp to solve a different problem. Check
the instance[1-6].clp problems to see the format in which the problems should
be specified.