Download

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