summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterread puzzle from stdinCasey Robinson2 years
 
 
AgeCommit messageAuthorFilesLines
2017-09-18read puzzle from stdinHEADmasterCasey Robinson1-16/+41
2017-09-16sudoku solver on top of libz3Casey Robinson4-1/+150
2017-09-16convert a slice into a `distinct` Ast node directlyCasey Robinson1-0/+12
2017-09-14rename library crates to match makefile defined naming conventionCasey Robinson20-13/+10
2017-09-14add model serialization functionCasey Robinson2-0/+23
2017-09-14fork z3 and z3-sysCasey Robinson22-0/+2973
2017-09-14initial commitCasey Robinson1-0/+4
 
Clone
https://src.rampantmonkey.com/z3