Published April 26, 2018 | Version V2.0
Software Open

motib/LearnSAT: LearnSAT: Release for publishing in JOSS

Creators

  • 1. Weizmann Institute of Science

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)