sat4j issueshttps://gitlab.ow2.org/sat4j/sat4j/-/issues2018-04-13T11:56:15Zhttps://gitlab.ow2.org/sat4j/sat4j/-/issues/108Lack of 2.3.5 tag for sat4j2018-04-13T11:56:15ZKrzysztof DanielLack of 2.3.5 tag for sat4jThere is no tag in the repo for 2.3.5 release. This is a big problem for me as I can't rebuild sat4j in Fedora, and therefore can't build Eclipse.There is no tag in the repo for 2.3.5 release. This is a big problem for me as I can't rebuild sat4j in Fedora, and therefore can't build Eclipse.https://gitlab.ow2.org/sat4j/sat4j/-/issues/92Add documents on Sat4j web site to conform with OW2 mature project requirements2018-07-07T05:11:52ZDaniel Le BerreAdd documents on Sat4j web site to conform with OW2 mature project requirementsA few documents are mandatory according to the Ow2 mature project requirements:
- code convention guidelines
- SVN guidelines
- Ow2 dashboardA few documents are mandatory according to the Ow2 mature project requirements:
- code convention guidelines
- SVN guidelines
- Ow2 dashboardhttps://gitlab.ow2.org/sat4j/sat4j/-/issues/54Dispatch lower bounding to all parts of Sat4j2018-05-11T12:15:13ZDaniel Le BerreDispatch lower bounding to all parts of Sat4jLower bounding is available in the API of Sat4j 2.3.1.
The next step is now to provide that feature on the command line of all optimization tools.Lower bounding is available in the API of Sat4j 2.3.1.
The next step is now to provide that feature on the command line of all optimization tools.