FORCE v0.1

Static global variable ordering for SAT & BDDs

- Preprocessing tool
- Much faster than MINCE
- Does not use any external tools

Download

Tool: Force_Linux_v01.tar.gz

Please let me know if you cite FORCE in your work.

Reference

FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
F. Aloul, I. Markov, and K. Sakallah
Great Lakes Symposium on VLSI (GLSVLSI), Washington D.C., pp. 116-119, 2003.

Last upated: May 26, 2004
by Fadi A. Aloul