Chapter 1
BiqCrunch

BiqCrunch is released under the GNU Public License, version 3.0, as open source software available for non-commercial use. BiqCrunch is available at:

New features of this release :

• Performance improvement: see the new numerical results on the website.
• The code has been refactored, cleaned, simplified, and formatted to improve readability and maintainability.
• The Goemans-Williamson heuristic is now the default generic heuristic.
• New parameters soln_value_provided and soln_value can be used to provide the objective value of a known feasible solution. This makes it possible to use BiqCrunch to prove the optimality of a solution obtained by a heuristic, for example.
• New branchingStrategy parameter can be used to select the branching strategy (three strategies are available).
• Local-search routine (can be disabled with parameter local_search) that is called whenever the heuristic finds a feasible solution.
• New seed parameter for seeding the random number generator.
• Improved output format for both the terminal output and the more detailed output file.
• For a given problem, user can take advantage of specific constraints to fix the values of variables when branching (a user-function must be defined).