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