Giters
Dennis Yurichev (DennisYurichev)

DennisYurichev

Geek Repo

69

followers

11

following

6

stars

Company:Torus

Location:Kyiv/Kiev, Ukraine

Home Page:www.yurichev.com

Twitter:@DennisYurichev

Github PK Tool:Github PK Tool

Dennis Yurichev's starred repositories

mallob

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

Language:C++License:LGPL-3.0Stargazers:54Issues:0Issues:0

tabularAllSAT

Language:C++Stargazers:3Issues:0Issues:0

racket-lang-org

Language:RacketLicense:NOASSERTIONStargazers:67Issues:0Issues:0

gimsatul

Language:CLicense:MITStargazers:29Issues:0Issues:0

satch

SAT Solver SATCH

Language:CLicense:MITStargazers:101Issues:0Issues:0

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:352Issues:0Issues:0