Data

Tools

Indexes

Applications

Experiments

Open Source Science

LearnSAT

LearnSAT: A SAT Solver for Education - Published in JOSS (2018)

https://github.com/motib/learnsat

Science Score: 93.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 1 DOI reference(s) in JOSS metadata
  • ○
    Academic publication links
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ✓
    JOSS paper metadata
    Published in Journal of Open Source Software
Last synced: 6 months ago · JSON representation

Repository

SAT solver for education

Basic Info
  • Host: GitHub
  • Owner: motib
  • License: gpl-3.0
  • Language: Prolog
  • Default Branch: master
  • Homepage:
  • Size: 1.85 MB
Statistics
  • Stars: 26
  • Watchers: 2
  • Forks: 4
  • Open Issues: 0
  • Releases: 1
Created about 8 years ago · Last pushed over 3 years ago
Metadata Files
Readme License

readme.md

LearnSat

Mordechai (Moti) Ben-Ari

http://www.weizmann.ac.il/sci-tea/benari/

LearnSAT is a Prolog program for learning about SAT solving. It implements the classic Davis-Putnam-Logemann-Loveland (DPLL) algorithm, together will modern extensions of the algorithm: conflict-driven clause learning (CDCL), non-chronological backtracking (NCB) and lookahead.

Licences

  • The software is made available under the GNU General Public License.
  • The documentation is made available under the Creative Commons Attribution-ShareAlike 3.0 License.

Installation and running

LearnSAT is written in Prolog.

  • Install SWI-Prolog.
  • Unzip the archive learnsat-N.zip.
  • To run the LearnSAT, consult the file dpll.pro as explained in the User's Guide.

Directories

  • src: The LearnSAT source code.
  • examples: Source code for the examples.
  • docs: Documentation (in LaTeX and PDF).

Documentation

  • learnsat-overview An overview of LearnSAT.
  • learnsat-ug User's guide and software documentation.
  • learnsat-tutorial Tutorial on SAT solving using LearnSAT.

Community guidelines

Thank you for your interest in LearnSAT.

This is my first Open Source / GitHub project, so there may be some glitches until I have more experience!

For now, the guidelines are:

  • If you wish to modify the Prolog source code, please fork the project and leave the master branch with my source code.
  • If you have additional SAT examples or tutorial material that you want to add, I can include them in the master branch. Open an issue and / or contact me directly at moti.ben.ari@gmail.com.

Owner

  • Name: Moti Ben-Ari
  • Login: motib
  • Kind: user
  • Company: Weizmann Institute of Science

JOSS Publication

LearnSAT: A SAT Solver for Education
Published
April 26, 2018
DOI
Volume 3, Issue 24, Page 639
Authors
Mordechai (Moti) Ben-Ari ORCID
Weizmann Institute of Science
Editor
Daniel S. Katz ORCID
Tags
SAT solving computer science education
View PDF Review Thread Software Archive

GitHub Events

Total
  • Watch event: 2
  • Fork event: 1
Last Year
  • Watch event: 2
  • Fork event: 1

Committers

Last synced: 7 months ago

All Time
  • Total Commits: 19
  • Total Committers: 1
  • Avg Commits per committer: 19.0
  • Development Distribution Score (DDS): 0.0
Past Year
  • Commits: 0
  • Committers: 0
  • Avg Commits per committer: 0.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
Moti Ben-Ari m****i@g****m 19

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 0
  • Total pull requests: 1
  • Average time to close issues: N/A
  • Average time to close pull requests: 2 days
  • Total issue authors: 0
  • Total pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • danielskatz (1)
Top Labels
Issue Labels
Pull Request Labels