Refactor weight and configs #19

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.

Sign up for GitHub

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

Jump to bottom

Merged

GiggleLiu merged 4 commits into master from refactor-weight-config

Feb 24, 2022

Contributor

GiggleLiu commented Feb 24, 2022 •

edited

Loading

new problem: Satisfiability
new API: terms as the weight carier
changed API: labels as the degree of freedoms
delete API: cut_assign

GiggleLiu added 4 commits

February 22, 2022 21:44


          new sat

a6c0be6


          update sat

09cde69


          save

c880918


          refactor-weight-config

6be63d1

GiggleLiu merged commit b5bed1d into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet