returned for Tags:"Bart"
contains extions mehtods to create a functional switch, wich is described under
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
Sample Theorems for Sudoku and River Crossing problems.