https://gitlab.ow2.org/sat4j/sat4j.git
History
Tip revision: f51294d51d9af771b53ca5104dc6d3522a119cd9 authored by Daniel Le Berre on 22 February 2023, 13:14:06 UTC
Call SearchListener.end() in case of trivial inconsistency
Tip revision: f51294d
File Mode Size
MANIFEST.MF -rw-r--r-- 234 bytes

back to top