DennisYurichev
This account is used mostly for contributing to other's projects. For mine, visit my websites.
TorusKyiv/Kiev, Ukraine
DennisYurichev's Stars
acl2/acl2
ACL2 System and Books as Maintained by the Community
arminbiere/satch
SAT Solver SATCH
racket/racket-lang-org
domschrei/mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
arminbiere/gimsatul
giuspek/tabularAllSAT