这是indexloc提供的服务,不要输入任何密码
Skip to content

Minimal Python Bindings for ApproxMC #26

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Dec 11, 2021
Merged

Minimal Python Bindings for ApproxMC #26

merged 6 commits into from
Dec 11, 2021

Conversation

Eric-Vin
Copy link
Contributor

@Eric-Vin Eric-Vin commented Dec 7, 2021

First off, thank you so much for the great tool! I'm using ApproxMC in some experiments for a paper I'm writing so I wrote some minimal Python bindings for it based off of the CryptoMiniSat ones so that I could better integrate it. I tried to follow the same style and naming conventions as well. Unfortunately, I couldn't figure out how to integrate it with your build system, but when built locally it passes a few basic tests I wrote for it.

Copy link
Collaborator

@msoos msoos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

First of all, amazing work, thank you so much!! I really-really like it. I think I only found one issue with setup_vars that you seem to declare&define but not use? If that's correct, can we remove it? Or maybe I'm wrong, please let me know!

Thanks a lot, amazing work,

Mate

@msoos msoos merged commit bc9a7ff into meelgroup:master Dec 11, 2021
@Eric-Vin
Copy link
Contributor Author

Eric-Vin commented Dec 14, 2021

@msoos Woops, I realized that I left a memory leak open and added a fix for that, but I forgot to add a semicolon after it so these won't actually build. It's on line 65, and once it's adding everything works as intended. Sorry about that!

@msoos
Copy link
Collaborator

msoos commented Dec 14, 2021

I fixed it, pushed it. Unfortunately, the system is also lacking a simple README under python/, and the main README.md is also lacking a mention about the python bindings -- a shame because you put so much effort into it, let's advertise it! :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants