milanbankovic
A computer scientist and an assistant professor at Department of Computer Science, Faculty of Mathematics, University of Belgrade, Serbia
Faculty of Mathematics, University of BelgradeBelgrade, Serbia
Pinned Repositories
argosmt
argosmt SMT solver
constructions
Automated triangle ruler-and-compass constructions using constraint solvers
convex
isocert
McKay/Pipperno based graph isomorphism certification
smt_sokoban
symbolic_computing
Materijali za kurs "Simboličko izračunavanje" (Specijalni kurs) na Matematičkom fakultetu u Beogradu
milanbankovic's Repositories
milanbankovic/isocert
McKay/Pipperno based graph isomorphism certification
milanbankovic/argosmt
argosmt SMT solver
milanbankovic/constructions
Automated triangle ruler-and-compass constructions using constraint solvers
milanbankovic/convex
milanbankovic/smt_sokoban
milanbankovic/symbolic_computing
Materijali za kurs "Simboličko izračunavanje" (Specijalni kurs) na Matematičkom fakultetu u Beogradu