Demos

Lars Kotthoff, St Andrews

larsko@cs.st-andrews.ac.uk

"Constraint Programming"

How a constraint solver works and how it finds a solution to a problem.

Pierre-Evariste Dagand and Adam Gundry, St Andrews

Pierre-Evariste.Dagand@cis.strath.ac.uk

adam.gundry@cis.strath.ac.uk

Mathematically Structured Programming: a demo on Epigram [http://www.e-pig.org/epilogue].