quick.links

recent.news

2008-01-20 - well, use someones elses, otherwise learn how to use google cache...[...]

2007-12-31 - Synscan5, the fastest and most efficient asynchronous half-open TCP scanner, has finally made it out of beta!, the first of [...]

:.home.tools.equivset1.0

where there is inequality, there is war

what.is.equivset?

equivset is an implementation of the equivalence approximation algorithm for ROBDDs as detailed in the following papers :-

[1] Widening ROBDDs with Prime Implicants. Neil Kettle, Andy King, and Tadeusz Strzemecki. In Holger Hermanns and Jens Palsberg, editors, Twelfth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of Lecture Notes in Computer Science, pages 105-119. Springer-Verlag, March 2006.

Note: to compile this code you will require CUDD (http://vlsi.colorado.edu/~fabio/).

authors

equivset is written and maintained by:

releases

equivset is known to compile cleanly on: linux (x86, x86-64, SPARC) and Solaris (SPARC).