meelgroup/approxmc

Issues

• Question about probabilistic guarantees over multiple runs

  #54 opened 4 months ago by fanosta
  3

• The flag for exact count -- imprecise question, cannot answer

  #51 opened 5 months ago by zzwonder
  3

• A potential bug with CNF Examples while using Approxmc

  #50 opened 6 months ago by Annlean
  0

• memory manager can't handle load

  #49 opened 6 months ago by na3na3na
  1

• link to dataset not valid

  #48 opened 8 months ago by shoham-elad
  1

• Problem with installation using pip: "cl.exe failed with exit code2"

  #42 opened a year ago by alexmfrey
  16

• I try to use pyapproxmc but adding clauses takes very long time

  #43 opened a year ago by ImposterMido
  4

• Improbable infinite loop in one_measurement_count

  #40 opened a year ago by tanyongkiam
  2

• pip install pyapproxmc - install error with picogcnf.c

  #33 opened a year ago by jeffchhen
  2

• Some issue about Arjun

  #39 opened a year ago by ydotlai
  6

• Incorrect Probability of Generating Random XOR

  #38 opened a year ago by AL-JiongYang
  1

• Mismatch between README example and pyapproxmc

  #37 opened a year ago by alvarna
  1

• pyapproxmc: setting the memory/time limit

  #35 opened a year ago by izzayacine
  9

• python interface shows ImportError

  #34 opened a year ago by izzayacine
  6

• PyPi Package Versions

  #32 opened 2 years ago by Eric-Vin
  5

• Citation info wrong and missing

  #29 opened 2 years ago by latower
  1

• README bug

  #28 opened 3 years ago by evanlohn
  1

• Why doesn't multithreading help?

  #27 opened 3 years ago by hflsmax
  1

• How can we set a timeout value for approxmc? Is there a command-line option akin to Ganak?

  #25 opened 3 years ago by AnimeshChhotaray
  2

• What value does --sparse option take?

  #24 opened 3 years ago by hflsmax
  2

• Is there any way to see the solutions in the bounded solution count ?

  #23 opened 3 years ago by CountingLogic
  1

• CMake compile error in Ubuntu 16.04 - broken C Compiler

  #22 opened 3 years ago by ashwath129
  1

• ApproxMC4 dumps core on small examples

  #21 opened 3 years ago by Cerebus
  3

• Incremental interface

  #14 opened 4 years ago by vedadux
  4

• Problem with Boost program_options

  #10 opened 5 years ago by allrtaken
  7

• ApMC seems to crash when count of formula is less than threshold

  #15 opened 4 years ago by allrtaken
  1

• Confusing message during execution

  #13 opened 4 years ago by abakst
  7

• main.cpp(265): error C2065: 'solver': undeclared identifier

  #12 opened 4 years ago by jiayiyang1997
  2

• Setting parameters epsilon and delta

  #8 opened 5 years ago by edredre
  4

• Installing on Mac

  #7 opened 5 years ago by edredre
  3

• Speeding up ApproxMC by reusing models

  #6 opened 6 years ago by yashpote
  2

• Infinite loops

  #5 opened 6 years ago by yashpote
  3

• ApproxMC returning UNSAT for formula with solution

  #4 opened 6 years ago by becgabri
  3

• Timeout on benchmark

  #1 opened 6 years ago by shaanvaidya
  4

• ApproxMC ignores SIGINT

  #3 opened 6 years ago by yxliang01
  4

• Docker image does not read "c ind" correctly.

  #2 opened 6 years ago by appu226
  7