Skip to content

doc: Improvements

Antoine Belvire requested to merge doc/improvements into master
  • Add translation to CNF for the "exactly-one" function in the SAT section.
  • Update the integer programming section.

Merge request reports