3 packages returned for Tags:"BART"

Package type
Sort by
Options
contains extions mehtods to create a functional switch, wich is described under http://bartdesmet.net/blogs/bart/archive/2008/03/30/a-functional-c-type-switch.aspx
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.