https://github.com/srgrr/cellrouter

A SAT-Based cell router.
https://github.com/srgrr/cellrouter

academic cell-routing combinatorial-optimization graph-algorithms python3 sat vlsi-physical-design

Last synced: 7 months ago
JSON representation

A SAT-Based cell router.

• Host: GitHub
• URL: https://github.com/srgrr/cellrouter
• Owner: srgrr
• License: mit
• Created: 2017-11-09T20:41:05.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-11-27T12:02:36.000Z (over 7 years ago)
• Last Synced: 2025-04-14T12:56:48.964Z (12 months ago)
• Topics: academic, cell-routing, combinatorial-optimization, graph-algorithms, python3, sat, vlsi-physical-design
• Language: C++
• Size: 28 MB
• Stars: 7
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# CellRouter

A SAT-Based cell router. This was a project for a master course.

Go to the data folder to see how input datasets should be formatted.

You need to have Minisat ( http://minisat.se/ ) and PBLib ( http://tools.computational-logic.org/content/pblib.php ).

```

make all

python solver.py data/thx

```

    

        
This browser does not support PDFs. Please download the PDF to view it: Download PDF.