-
Czech Technical University
- www.surynek.net
- https://hackaday.io/surynek
- in/pavel-surynek
- @pavel.surynek
Block or Report
Block or report surynek
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
vsat
vsat PublicThis is an implementation of vanilla CDCL SAT solver. Includes standard features but nothing above that. If you cannot beat any solver from the SAT competition but still want to beat someone, then …
Shell
-
sigmaSAT
sigmaSAT PublicAn experimental package for Boolean formula preprocessing. This is rather a collection of functions than a standalone program. The goal of preprocessing is to generate a formula that is equisatisfi…
C++
-
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.