sat4j issueshttps://gitlab.ow2.org/sat4j/sat4j/-/issues2018-05-11T12:15:13Zhttps://gitlab.ow2.org/sat4j/sat4j/-/issues/18ISolver.isSatisfiable(VecInt) is affected by previous call2018-05-11T12:15:13ZFabian BenduhnISolver.isSatisfiable(VecInt) is affected by previous callThe method ISolver.isSatisfiable(VecInt) is affected by previous calls which leads to unexpected results.The method ISolver.isSatisfiable(VecInt) is affected by previous calls which leads to unexpected results.2.3.1https://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.