Skip to content
Snippets Groups Projects
Commit c25429fb authored by Armin Biere's avatar Armin Biere
Browse files

fixed version

parent fd1bee61
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
NEWS.md
+ 3
− 2
View file @ c25429fb
Version 1.1.1
Version 3.0.0
-------------
Removed two heuristic bugs:
Removed two heuristic bugs and went back to monotonically increasing
version numbers (see also [`VERSION`](VERSION)).
- avoid increasing number of conflicts during vivification
- do set used flags (two bits) of learned clauses initially
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment