BANE

BANE is a constraint solver implemented in ML. The goal of this project is to find out what Bane can do, how flexible it is and to have it perform an analysis of some kind. The main focus here is understanding how the engine can be used. It seems that using Bane sometimes implies a need for programming in ML. One of the goals of the study is to find out what you can do without resorting to this, and what may be possible when we would. In the project you shall see a bit of ML (which is similar to Haskell), but writing code shall be avoided.

Further info: see here.

Contact: Jurriaan Hage