LearnSAT - LearnSAT: Release for publishing in JOSS

LearnSAT is a SAT-solver for education. This is the first release for publication of the software in the Journal of Open Source Software.

Scientific Software - Peer-reviewed - Prolog
Published by motib almost 8 years ago