Preview

motib-LearnSAT-b1655e9
- LICENSE
  
  35.1 kB
- docs
  - images
    - dom-color.png
      
      54.8 kB
    - mcgregor3.pdf
      
      9.8 kB
    - pebbles-color.png
      
      39.7 kB
    - pigeon2-color.png
      
      40.8 kB
    - pigeon3-color.png
      
      80.9 kB
    - queens-color.png
      
      106.7 kB
    - ramsey.pdf
      
      1.3 kB
    - tree1-color.png
      
      73.8 kB
    - tree2-color.png
      
      63.6 kB
    - tree3-color.png
      
      55.9 kB
    - tseitin-ex-color.png
      
      30.0 kB
  - learnsat-overview.bbl
    
    1.5 kB
  - learnsat-overview.pdf
    
    218.7 kB
  - learnsat-overview.tex
    
    8.1 kB
  - learnsat-tutorial.bbl
    
    2.7 kB
  - learnsat-tutorial.pdf
    
    730.8 kB
  - learnsat-tutorial.tex
    
    89.4 kB
  - learnsat-ug.bbl
    
    406 Bytes
  - learnsat-ug.pdf
    
    237.6 kB
  - learnsat-ug.tex
    
    26.1 kB
  - tikz.tex
    
    2.8 kB
  - version.tex
    
    20 Bytes
- examples
  - GenerateSatPRO.class
    
    3.7 kB
  - GenerateSatPRO.java
    
    7.2 kB
  - all-2-0.txt
    
    125.1 kB
  - all-short-2-0.txt
    
    5.4 kB
  - all-short.pro
    
    1.7 kB
  - all.pro
    
    1.9 kB
  - bmc-generate-sem.pro
    
    1.8 kB
  - bmc-sem.pro
    
    1.5 kB
  - color-queens.pro
    
    15.0 kB
  - examples.pro
    
    1.2 kB
  - fcall-short.bat
    
    48 Bytes
  - fcall.bat
    
    38 Bytes
  - generate-langford.pro
    
    3.1 kB
  - generate-vdw.pro
    
    3.2 kB
  - langford.pro
    
    2.1 kB
  - mcgregor.pro
    
    5.4 kB
  - pebbling.pro
    
    1.1 kB
  - pigeon.pro
    
    1.0 kB
  - queens.pro
    
    12.2 kB
  - ramsey.pro
    
    1.4 kB
  - schur.pro
    
    1.7 kB
  - schur.txt
    
    13.3 kB
  - sudoku.pro
    
    10.7 kB
  - tablea.pro
    
    3.4 kB
  - tableb.pro
    
    3.1 kB
  - tablec.pro
    
    3.0 kB
  - tseitin.pro
    
    3.8 kB
  - unsat.pro
    
    129 Bytes
  - vdw.pro
    
    15.6 kB
- learnsat.bib
  
  2.9 kB
- paper.md
  
  2.6 kB
- readme.md
  
  1.8 kB
- src
  - auxpred.pro
    
    5.0 kB
  - cdcl.pro
    
    12.8 kB
  - config.pro
    
    2.2 kB
  - counters.pro
    
    2.8 kB
  - dimacs-test.pro
    
    1.6 kB
  - dimacs.pro
    
    5.9 kB
  - display.pro
    
    6.0 kB
  - dot.pro
    
    9.2 kB
  - dpll.pro
    
    20.7 kB
  - io.pro
    
    4.0 kB
  - modes.pro
    
    11.0 kB
  - ops.pro
    
    753 Bytes

motib/LearnSAT-V2.0.zip