Giters
Milan Bankovic (milanbankovic)

milanbankovic

Geek Repo

1

followers

0

following

0

stars

Company:Faculty of Mathematics, University of Belgrade

Location:Belgrade, Serbia

Home Page:www.matf.bg.ac.rs/~milan

Github PK Tool:Github PK Tool

Milan Bankovic's repositories

constructions

Automated triangle ruler-and-compass constructions using constraint solvers

License:GPL-3.0Stargazers:0Issues:0Issues:0

symbolic_computing

Materijali za kurs "Simboličko izračunavanje" (Specijalni kurs) na Matematičkom fakultetu u Beogradu

Language:IsabelleStargazers:0Issues:0Issues:0

argosmt

argosmt SMT solver

Language:C++License:GPL-3.0Stargazers:1Issues:0Issues:0

isocert

McKay/Pipperno based graph isomorphism certification

Language:IsabelleStargazers:3Issues:0Issues:0

smt_sokoban

Language:SMTStargazers:0Issues:0Issues:0

convex

Language:CStargazers:0Issues:0Issues:0