Downloads
Branch | Commit | Date | Download |
---|---|---|---|
master | c2310d8 |
|
|
develop | 9e47d06 |
|
|
idx-dev | ed5a951 |
|
|
cooper_soln | 5123a34 |
|
|
develop-test | d958972 |
|
|
unify-exceptionless | ee42b4f |
|
|
cdcl | 090d0d6 |
|
|
constrained_clauses | da11aad |
|
|
inst-dev | eb61d86 |
|