Giters
Dennis Yurichev (DennisYurichev)

DennisYurichev

Geek Repo

73

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

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:367Issues:36Issues:487

satch

SAT Solver SATCH

Language:CLicense:MITStargazers:107Issues:15Issues:4

racket-lang-org

Language:RacketLicense:NOASSERTIONStargazers:67Issues:32Issues:80

mallob

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

Language:C++License:LGPL-3.0Stargazers:60Issues:5Issues:11

gimsatul

Language:CLicense:MITStargazers:33Issues:5Issues:7

tabularAllSAT

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