Εργαλεία
Περιβάλλον Ανάπτυξης
►
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