Software Links
This page contains links to benchmark functions and software packages useful
in my work. The links include logic synthesis and optimization tools, decision
diagram packages, SAT solvers, visualization packages, and software libraries
to develop visual interfaces.
-
Benchmarks
-
Logic synthesis and optimization
-
Multi-valued benchmarks
-
Combinatorial optimization
-
Software packages
-
Logic synthesis and optimization tools:
-
Espresso:
Two-level Sum-of-Product Minimizer
-
SIS:
A Combinational and Sequential Circuit Synthesis and Optimization Tool
-
BDS: A BDD-Based
Logic Synthesis System
-
Decision diagram packages
-
BuDDy: An
easy-to-use efficient BDD package
-
CUDD: A professional
BDD/ZDD/ADD package with a lot of functionality
-
SAT solvers
-
GRASP: A classical SAT
solver
-
CHAFF: A new SAT solver
that is reportedly faster by orders of magnitude on hard problems
-
WALKSAT: A local
search solver that is very fast on some classes of satisfiable problems
-
DLM: Discrete
Lagrangian Method for SAT
-
Visualization packages
-
GraphVis:
Open-source graph visualization software
-
DOT: Software for visualization of directed graphs
-
NEATO: Software for visualization of non-directed graphs
-
Libraries to create visual interfaces
-
MFC:
Microsoft Foundation Classes (a professional source code library shipped
with MS Visual Studio 6.0++)
-
wxWindows: A public-domain cross-platform
library to develop visual interfaces
Alan Mishchenko's Home Page
This page has been last modified on September 30, 2001.