background image

Εργαλεία

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

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