Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 11, 2020

• handling the UNSAT case

  smsharma1

  committed
  0fa3585

  Copy full SHA for 0fa3585

• added seed for randomness

  smsharma1

  committed
  8ad1548

  Copy full SHA for 8ad1548

Commits on Jan 5, 2020

• handled corner case when formula is UNSAT

  smsharma1

  committed
  f2b729e

  Copy full SHA for f2b729e

• Added support to get maximum and minimum weight assignments

  smsharma1

  committed
  6a881ab

  Copy full SHA for 6a881ab

• Added support to get maximum and minimum weight of assignments

  smsharma1

  committed
  2f113bb

  Copy full SHA for 2f113bb

Commits on Sep 19, 2019

• Binary path updated in Readme

  rahulguptakota

  authored
  110ad53

  Copy full SHA for 110ad53

Commits on Apr 3, 2019

• minor changes

  rahulguptakota

  committed
  4637691

  Copy full SHA for 4637691

Commits on Mar 25, 2019

• minor changes

  rahulguptakota

  committed
  2d79198

  Copy full SHA for 2d79198

• lowercase tool name, results and full version of paper

  rahulguptakota

  committed
  b3f1dbb

  Copy full SHA for b3f1dbb

Commits on Mar 24, 2019

• minor changes

  rahulguptakota

  committed
  5f2a9db

  Copy full SHA for 5f2a9db

• Ready for PyPI

  rahulguptakota

  committed
  e495767

  Copy full SHA for e495767

Commits on Feb 15, 2019

• added appendix

  rahulguptakota

  committed
  e00dcd0

  Copy full SHA for e00dcd0

Commits on Jan 29, 2019

• Minor change

  smsharma1

  committed
  1a34008

  Copy full SHA for 1a34008

• Added installation guidelines

  smsharma1

  committed
  375a91a

  Copy full SHA for 375a91a

• Added README and WAPS

  smsharma1

  committed
  6f3dd17

  Copy full SHA for 6f3dd17