guicho271828 /cl-sat.picosat
| Type | GITHUB |
|---|---|
| Source | https://github.com/guicho271828/cl-sat.picosat |
| Branch or tag | |
| Last seen commit | 8fce8ec7043504f5dfa1a8646d85249a7479e489 |
| Release | http://dist.ultralisp.org/ultralisp/archive/g/guicho271828-cl-sat.picosat-20190803134812.tgz |
| Distributions | ultralisp |
| Last check | Finished 3 days 14 hours 27 minutes 31 seconds 660139000 nsecs. |