meelgroup/approxmc issues and pull requests

#55 - Release ApproxMC6

Pull Request - State: closed - Opened by AL-JiongYang 6 months ago - 3 comments

#54 - Question about probabilistic guarantees over multiple runs

Issue - State: open - Opened by fanosta 6 months ago - 3 comments

#53 - README.md install tools at same dir level

Pull Request - State: closed - Opened by tanyongkiam 7 months ago - 1 comment

#52 - Update README.md

Pull Request - State: closed - Opened by uddaloksarkar 7 months ago - 1 comment

#51 - The flag for exact count -- imprecise question, cannot answer

Issue - State: closed - Opened by zzwonder 8 months ago - 3 comments

#50 - A potential bug with CNF Examples while using Approxmc

Issue - State: open - Opened by Annlean 8 months ago

#49 - memory manager can't handle load

Issue - State: closed - Opened by na3na3na 8 months ago - 1 comment

#48 - link to dataset not valid

Issue - State: closed - Opened by shoham-elad 11 months ago - 1 comment

#47 - Run tests in ci

Pull Request - State: closed - Opened by fanosta 11 months ago

#46 - Fix power being interpreted as bolding in readme

Pull Request - State: closed - Opened by horenmar 11 months ago

#45 - improve error reporting for Python bindings

Pull Request - State: closed - Opened by fanosta 11 months ago - 2 comments

#44 - Fix adding many clauses

Pull Request - State: closed - Opened by fanosta 11 months ago - 7 comments

#43 - I try to use pyapproxmc but adding clauses takes very long time

Issue - State: closed - Opened by ImposterMido about 1 year ago - 4 comments

#42 - Problem with installation using pip: "cl.exe failed with exit code2"

Issue - State: closed - Opened by alexmfrey about 1 year ago - 16 comments

#41 - fix corner case of binary search

Pull Request - State: closed - Opened by AL-JiongYang about 1 year ago - 6 comments

#40 - Improbable infinite loop in one_measurement_count

Issue - State: open - Opened by tanyongkiam about 1 year ago - 2 comments

#39 - Some issue about Arjun

Issue - State: closed - Opened by ydotlai about 1 year ago - 6 comments

#38 - Incorrect Probability of Generating Random XOR

Issue - State: closed - Opened by AL-JiongYang about 1 year ago - 1 comment

#37 - Mismatch between README example and pyapproxmc

Issue - State: closed - Opened by alvarna over 1 year ago - 1 comment

#36 - Changed test to match python API and update README to match output

Pull Request - State: closed - Opened by alvarna over 1 year ago - 2 comments

#35 - pyapproxmc: setting the memory/time limit

Issue - State: closed - Opened by yizza91 over 1 year ago - 9 comments

#34 - python interface shows ImportError

Issue - State: closed - Opened by yizza91 over 1 year ago - 6 comments

#33 - pip install pyapproxmc - install error with picogcnf.c

Issue - State: closed - Opened by jeffchhen over 1 year ago - 2 comments

#32 - PyPi Package Versions

Issue - State: closed - Opened by Eric-Vin almost 2 years ago - 5 comments

#31 - Update Parameter Checking in Python Bindings

Pull Request - State: closed - Opened by Eric-Vin almost 2 years ago - 1 comment

#30 - Spelling Fixes

Pull Request - State: closed - Opened by THE-Spellchecker almost 2 years ago - 1 comment

#29 - Citation info wrong and missing

Issue - State: closed - Opened by latower about 2 years ago - 1 comment

#28 - README bug

Issue - State: closed - Opened by evanlohn over 2 years ago - 1 comment

#27 - Why doesn't multithreading help?

Issue - State: closed - Opened by hflsmax almost 3 years ago - 1 comment

#26 - Minimal Python Bindings for ApproxMC

Pull Request - State: closed - Opened by Eric-Vin almost 3 years ago - 2 comments

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

Issue - State: closed - Opened by AnimeshChhotaray about 3 years ago - 2 comments

#24 - What value does --sparse option take?

Issue - State: closed - Opened by hflsmax about 3 years ago - 2 comments

#23 - Is there any way to see the solutions in the bounded solution count ?

Issue - State: closed - Opened by CountingLogic over 3 years ago - 1 comment

#22 - CMake compile error in Ubuntu 16.04 - broken C Compiler

Issue - State: closed - Opened by ashwath129 over 3 years ago - 1 comment

#21 - ApproxMC4 dumps core on small examples

Issue - State: closed - Opened by Cerebus over 3 years ago - 3 comments

#20 - Update README.md

Pull Request - State: closed - Opened by msoos almost 4 years ago - 1 comment

#19 - fix the bug about reusing models

Pull Request - State: closed - Opened by AL-JiongYang almost 4 years ago - 1 comment

#18 - define default value for hashCount == -1

Pull Request - State: closed - Opened by AL-JiongYang about 4 years ago - 5 comments

#17 - Fixing the bug when start_iter is greater than final hashCount

Pull Request - State: closed - Opened by AL-JiongYang about 4 years ago - 2 comments

#16 - Setting delta and epsilon read from command line; Fixing set_detach_xors

Pull Request - State: closed - Opened by AL-JiongYang about 4 years ago - 1 comment

#15 - ApMC seems to crash when count of formula is less than threshold

Issue - State: closed - Opened by allrtaken about 4 years ago - 1 comment

#14 - Incremental interface

Issue - State: closed - Opened by vedadux about 4 years ago - 4 comments
Labels: enhancement

#13 - Confusing message during execution

Issue - State: closed - Opened by abakst over 4 years ago - 7 comments

#12 - main.cpp(265): error C2065: 'solver': undeclared identifier

Issue - State: closed - Opened by jiayiyang1997 over 4 years ago - 2 comments

#11 - Clear hashVars after every iteration

Pull Request - State: closed - Opened by durgeshra over 4 years ago - 1 comment

#10 - Problem with Boost program_options

Issue - State: closed - Opened by allrtaken over 4 years ago - 7 comments

#9 - added options for delta and epsilon

Pull Request - State: closed - Opened by yashpote over 5 years ago - 2 comments

#8 - Setting parameters epsilon and delta

Issue - State: closed - Opened by edredre over 5 years ago - 4 comments

#7 - Installing on Mac

Issue - State: closed - Opened by edredre over 5 years ago - 3 comments

#6 - Speeding up ApproxMC by reusing models

Issue - State: closed - Opened by yashpote over 5 years ago - 2 comments

#5 - Infinite loops

Issue - State: closed - Opened by yashpote over 5 years ago - 3 comments

#4 - ApproxMC returning UNSAT for formula with solution

Issue - State: closed - Opened by becgabri over 5 years ago - 3 comments
Labels: invalid

GitHub / meelgroup/approxmc issues and pull requests