You can use Karma in different ways, like minimizing digital logic. Its written in Java by a Team of UFRGS Research Lab. Have a look at Wikipedia

 An example can be found in the documentation of the simulation of a cube ( german: Würfels)