Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 30, 2020

• update paper citation and doi

  fmolnar-notredame

  authored
  21c73b4

  Copy full SHA for 21c73b4

Commits on Jun 1, 2020

• readme: add funding info

  fmolnar-notredame

  authored
  4721b87

  Copy full SHA for 4721b87

Commits on May 31, 2020

• Update README.md

  ztoroczkai

  authored
  969cadc

  Copy full SHA for 969cadc

• Update README.md

  ztoroczkai

  authored
  1b350f0

  Copy full SHA for 1b350f0

Commits on May 25, 2020

• Update README.md

  fmolnar-notredame

  authored
  835cc90

  Copy full SHA for 835cc90

• add minisat library sources

  fmolnar-notredame

  authored
  5e93175

  Copy full SHA for 5e93175

• Create README.txt

  fmolnar-notredame

  authored
  5768821

  Copy full SHA for 5768821

• add analogsat sources

  fmolnar-notredame

  authored
  418b5e1

  Copy full SHA for 418b5e1

• Create build.sh

  fmolnar-notredame

  authored
  02ab030

  Copy full SHA for 02ab030

• add frontend source

  fmolnar-notredame

  authored
  bd81abb

  Copy full SHA for bd81abb

• Create config.h

  fmolnar-notredame

  authored
  d80cf0c

  Copy full SHA for d80cf0c

• add frontend config files

  fmolnar-notredame

  authored
  e89a9d6

  Copy full SHA for e89a9d6

• Create README.txt

  fmolnar-notredame

  authored
  fa8e764

  Copy full SHA for fa8e764

• adding files

  fmolnar-notredame

  authored
  c5a667d

  Copy full SHA for c5a667d

• Update readme.md

  fmolnar-notredame

  authored
  11f04a3

  Copy full SHA for 11f04a3

• update readme.md

  fmolnar-notredame

  authored
  9dd617c

  Copy full SHA for 9dd617c

• create readme.md

  Show description for 8aea18b
  fmolnar-notredame

  authored
  8aea18b

  Copy full SHA for 8aea18b

• update readme

  fmolnar-notredame

  authored
  0ceac21

  Copy full SHA for 0ceac21

• Initial commit

  fmolnar-notredame

  authored
  9b9f1ad

  Copy full SHA for 9b9f1ad