-
Notifications
You must be signed in to change notification settings - Fork 9
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
Use Open WBO totalizer encoding for At Most One constraints #26
base: master
Are you sure you want to change the base?
Commits on Sep 13, 2018
-
Use Open-WBOs Totalizer encoding for at most 1 constraint
Signed-off-by: Sukrut Rao <cs15btech11036@iith.ac.in>
Configuration menu - View commit details
-
Copy full SHA for a5855f9 - Browse repository at this point
Copy the full SHA a5855f9View commit details -
Configuration menu - View commit details
-
Copy full SHA for c004b2f - Browse repository at this point
Copy the full SHA c004b2fView commit details -
Configuration menu - View commit details
-
Copy full SHA for a86e126 - Browse repository at this point
Copy the full SHA a86e126View commit details -
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for e5c7f57 - Browse repository at this point
Copy the full SHA e5c7f57View commit details -
Use customized totalizer encoding based off OpenWBO
Signed-off-by: Sukrut Rao <cs15btech11036@iith.ac.in>
Configuration menu - View commit details
-
Copy full SHA for f25a078 - Browse repository at this point
Copy the full SHA f25a078View commit details
Commits on Oct 27, 2018
-
Merge branch 'master' into totalizer
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 1da2314 - Browse repository at this point
Copy the full SHA 1da2314View commit details
Commits on Nov 2, 2018
-
Merge branch 'master' into totalizer
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for dea0f8b - Browse repository at this point
Copy the full SHA dea0f8bView commit details -
Merge branch 'master' into totalizer
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for d2249c9 - Browse repository at this point
Copy the full SHA d2249c9View commit details
Commits on Nov 9, 2018
-
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for b641830 - Browse repository at this point
Copy the full SHA b641830View commit details
Commits on Nov 10, 2018
-
Merge branch 'master' into bugfix
Signed-off-by: Sukrut Rao <cs15btech11036@iith.ac.in>
Configuration menu - View commit details
-
Copy full SHA for 0b0cbf7 - Browse repository at this point
Copy the full SHA 0b0cbf7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0a1b7b4 - Browse repository at this point
Copy the full SHA 0a1b7b4View commit details
Commits on Nov 11, 2018
-
Reset variables in custom_parser: constraint_expr
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 03dc6cc - Browse repository at this point
Copy the full SHA 03dc6ccView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0a29355 - Browse repository at this point
Copy the full SHA 0a29355View commit details -
yaml-cpp: Do not build unnecessary tools
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for c863bb7 - Browse repository at this point
Copy the full SHA c863bb7View commit details -
snap: Fix issue with accessing home folder
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 402552b - Browse repository at this point
Copy the full SHA 402552bView commit details -
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for c9c1f13 - Browse repository at this point
Copy the full SHA c9c1f13View commit details
Commits on Nov 13, 2018
-
constraint_adder: unbundle some of the predefined constraints
minorInMinorTime programAtMostOneOfCoreOrElective exactlyOneFieldValuePerCourse Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for d7cd72a - Browse repository at this point
Copy the full SHA d7cd72aView commit details -
Wrap custom parser grammar in namespace
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for f2d3859 - Browse repository at this point
Copy the full SHA f2d3859View commit details
Commits on Nov 15, 2018
-
doxygen: generate docs for custom constraint grammar
Now the class list will not be cluttered in doxygen as all the relevant classes for custom constraint grammar are put in a namespace Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for e226f3f - Browse repository at this point
Copy the full SHA e226f3fView commit details -
doxygen: Add documentation of some of the undocumented functions
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for fdc5d46 - Browse repository at this point
Copy the full SHA fdc5d46View commit details
Commits on Nov 17, 2018
-
Predefined Constraint: Add high level vars for each course
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 5737962 - Browse repository at this point
Copy the full SHA 5737962View commit details
Commits on Nov 26, 2018
-
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for c8b1d77 - Browse repository at this point
Copy the full SHA c8b1d77View commit details
Commits on Nov 29, 2018
-
Change MinorType to enum class (also fixes isMinor bug)
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 2885211 - Browse repository at this point
Copy the full SHA 2885211View commit details -
Parser: CSV Parser program Core/Elective/No
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 2fec7b7 - Browse repository at this point
Copy the full SHA 2fec7b7View commit details
Commits on Dec 12, 2018
-
Generate version number from git
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 86478f6 - Browse repository at this point
Copy the full SHA 86478f6View commit details -
Run gen_version.sh inside cmake
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 9c552fe - Browse repository at this point
Copy the full SHA 9c552feView commit details -
Merge branch 'bugfix' into totalizer
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 70cd9b2 - Browse repository at this point
Copy the full SHA 70cd9b2View commit details -
Fix compiling issue in src/totalizer.cpp
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 95d4066 - Browse repository at this point
Copy the full SHA 95d4066View commit details -
gen_version.sh: Disable print of version
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 6440035 - Browse repository at this point
Copy the full SHA 6440035View commit details -
snap: Fix version number in snap
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 045526a - Browse repository at this point
Copy the full SHA 045526aView commit details
Commits on Dec 13, 2018
-
install_dependencies.sh: Update folder names to not contain version
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 8321fde - Browse repository at this point
Copy the full SHA 8321fdeView commit details -
snap: Speed up dependency installation, fix version
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 0843e50 - Browse repository at this point
Copy the full SHA 0843e50View commit details -
Merge branch 'bugfix' into totalizer
Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for 0cf3353 - Browse repository at this point
Copy the full SHA 0cf3353View commit details -
Fix hasEncoding in Totalizer build
(When RHS is equal to lits.size()) Signed-off-by: Prateek Kumar <prateek@prateekkumar.in>
Configuration menu - View commit details
-
Copy full SHA for b9ccec8 - Browse repository at this point
Copy the full SHA b9ccec8View commit details