-table with any number of keys for a value
-check for tolerance of kay value instead of equality
-problems on digital circuit simulation
-problems on digital circuit simulation
-support files for digital circuit simulation
-problems on constraint propagation
-Celsius and Fahrenheit relation as constraint
-problems on concurrency