update CHANGELOG.markdown

msakai · Oct 11, 2021 · a8554b6 · a8554b6
1 parent c3949b6
commit a8554b6
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
@@ -1,3 +1,14 @@
+0.8.0 (Unreleased)
+-----
+
+* Update lower bounds of dependency packages
+* Add `--maxsat-compact-v-line` option for printing MaxSAT solution in the new compact format (#65)
+* Fix `ToySolver.SAT`.Printer and its toysat's output for Max-SAT problems  (#64)
+* Support new WCNF file format (#63)
+* Use bytestring-encoding-0.1.1.0 because bytestring-encoding-0.1.0.0 has a memory corruption bug (#62)
+* Remove deprecated API (#56)
+* Stop supporting GHC 8.0, 8.2, and 8.4 (#50)
+
 0.7.0
 -----