Merge Requests · SAT4J / sat4j

Bump version in POMs to 2.3.7-SNAPSHOT

!7 · opened Dec 17, 2020 by Antoine Mottier
- CLOSED
- 1
updated Feb 03, 2021
Cdcl strategies

!6 · opened Oct 04, 2020 by Daniel Le Berre
- MERGED
- 0
updated Oct 04, 2020
Prefbones

!5 · opened Jan 01, 2020 by Jonas Bollgrün
- 33
updated Mar 02, 2020
Fix sat 155

!4 · opened Mar 23, 2019 by Daniel Le Berre
- MERGED
- 0
updated Mar 23, 2019
this gives a more honest version of 'no division'

!3 · opened Nov 21, 2017 by Daniel Le Berre
- MERGED
- 0
updated Nov 21, 2017
this seems to fix skipping

!2 · opened Oct 30, 2017 by Daniel Le Berre
- MERGED
- 0
updated Oct 30, 2017
Add missing import statements.

!1 · opened Aug 23, 2017 by Daniel Le Berre JAN_FIX
- CLOSED
- 0
updated Sep 21, 2017