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