Published April 26, 2018
| Version V2.0
Software
Open
motib/LearnSAT: LearnSAT: Release for publishing in JOSS
Description
LearnSAT is a SAT-solver for education. This is the first release for publication of the software in the Journal of Open Source Software.
Files
motib/LearnSAT-V2.0.zip
Files
(1.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:fdd5f88c2cc98ad1c8c5f8cf84909c90
|
1.7 MB | Preview Download |
Additional details
Related works
- Is cited by
- 10.21105/joss.00639 (DOI)
- Is supplement to
- https://github.com/motib/LearnSAT/tree/V2.0 (URL)