🎯
Focusing
SAT Programmer
-
Isotronic GmbH / University of Potsdam
- Berlin, Germany
- https://vale1410.github.io/
Highlights
- Pro
Popular repositories Loading
-
vim-minizinc
vim-minizinc PublicSyntax highlighting for minizinc (CP) and gringo (ASP) source code.
-
car-sequencing
car-sequencing PublicCNF generator for car-sequencing problems from https://csplib.org/Problems/prob001/
-
almost-squared
almost-squared PublicAn attempt to solve the almost squared problem more than 26*27
Shell 2
-
positional-games-qbf-encoding
positional-games-qbf-encoding PublicEncodings for positional games in QBF
Go 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.