Mein Autorouter basiert auf z3.

Stefan H. schrieb:

das ist mein früher Entwurf eines Autorouters

Herzlichen Glückwunsch :)

Unklar ist mir persönlich allerdings was Das werden soll. Constraintsolver für PCBs einzusetzen hat ja eigentlich schon eine lange Tradition. Oft mit dem Ergebniss das die Berechnung zu Costly ist. Das hast Du ja auch schon gemerkt.

Wolltest Du etwas Neues ausprobieren? Dann wäre ein Text mit der Idee sehr hilfreich. Ansonsten ist im Zweifelsfall unklar, ob man das Konzept noch nicht verstanden hat oder Du einfach etwas falsch implementiert hast. Und, last but not least, wäre dann auch schneller ersichtlich ob es überhaupt interessant ist.

Oder soll das mal ein Tool werden dass Du auch praktisch einsetzen willst? Da frage ich mich aber ob es nicht schlauer wäre den kompletten Solver in eine existierende Umgebung einzubauen um dort die komplette Infrastruktur benutzen zu können. Tools dafür gibt es ja Einige (i.e. KiCad, LibreCAD, Freerouter) un dDu könntest Dich mehr um die "echten" Probleme der Lösung kümmern.

/regards

Ich möchte nichts zu deinem Projekt schreiben, jedoch meinen Finger auf die Komplexität des Problems legen. Ein schreckliches Beispiel ist Freerouting in der Version 2. Diese Version 2.x ist kompletter disfunktionaler Blödsinn. Der Author hat zwar das Benutzerinterface etwas verbessert, den eigentlichen Router aber gänzlich zerstört. Z.B. versagt der Router sofort, wenn schon einige Leiterzüge händisch gelegt wurden.

Damit hat dieser Entwickler das Projekt nahezu zerstört. Jeder der naiv die Version 2 installiert, denkt, Freerouting ist Unsinn. Dabei funktioniert Version 1.x sehr gut.

Andreas H. schrieb:

Oder soll das mal ein Tool werden dass Du auch praktisch einsetzen willst?

Ja. Ich habe jetzt weiter recherchiert (Claude gefragt) und konnte die Geschwindigkeit steigern. Die 6 Traces mit jeweils 6 Segmenten (n=7) brauche nur 8,3 s zum Routen. Die meiste Zeit wird in der Propagierung verbraucht, nicht in der Konfliktauflösung.

Falls es gut funktioniert, will ich es als Router in KiCAD testen. Dann sollen auch Bauteilpositionierung und Zuordnung äquivalenter Pins/Teilkomponenten automatisch mit übernommen werden.