Εργαλεία

Περιβάλλον Ανάπτυξης

►

Visual Studio 2022

Γλώσσα Προγραμματισμού

►

C Sharp

Μηχανική Όραση: OpenCV

Επίλυση CSP: Google OR-Tools, CP-SAT

►

Lazy Clause Generation (LCG) + Επιλυτής SAT

►

Variable-State Independent Decaying Sum (VSIDS)

►

No-good learning

►

Προτάσεις Επεξήγησης (πχ. [x ≤ 2] ∧ [x ≥ y] → [y ≤ 2])

10