larstvei/SMT-for-IN3070
1
0
Fork 0
mirror of https://github.com/larstvei/SMT-for-IN3070.git synced 2024-11-26 03:28:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove comment

Browse Source
This commit is contained in:
Lars Tveito 2019-11-19 20:19:50 +01:00
parent 324fb51fe3
commit 4eb851b77a
1 changed files with 0 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
committees.org
View File

@ -527,25 +527,6 @@ cry for help.
return o.model()
#+END_SRC
** COMMENT Implementation draft
#+BEGIN_SRC python
N, C, S, A = instance = example_instance()
comms = committees(C)
s = Solver()
s.add(capacity_constraint(comms, C))
s.add(non_negative_constraint(comms))
s.add(all_corrected_constraint(comms, N))
s.add(should_correct_with_weight(comms, S, C))
s.add(avoid_correct_with_constraint(comms, A))
s.check()
print(s.model())
#+END_SRC
* COMMENT Local variables
# Local Variables:
# eval: (add-hook 'after-save-hook 'org-html-export-to-html nil t)