Awesomeclaw

Pinned Repositories

CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:C++00
mibench
The MiBench testsuite, extended for use in general embedded environments
Language:C00
swdestinydb
Star Wars Destiny Deckbuilder
Language:JavaScript00

Awesomeclaw's Repositories

Awesomeclaw/swdestinydb
Star Wars Destiny Deckbuilder
Language:JavaScript
Awesomeclaw/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:C++
Awesomeclaw/mibench
The MiBench testsuite, extended for use in general embedded environments
Language:C