sat4j merge requestshttps://gitlab.ow2.org/sat4j/sat4j/-/merge_requests2017-10-30T12:30:58Zhttps://gitlab.ow2.org/sat4j/sat4j/-/merge_requests/2this seems to fix skipping2017-10-30T12:30:58ZDaniel Le Berrethis seems to fix skippingFix skip implementation.Fix skip implementation.https://gitlab.ow2.org/sat4j/sat4j/-/merge_requests/3this gives a more honest version of 'no division'2017-11-21T10:01:33ZDaniel Le Berrethis gives a more honest version of 'no division'https://gitlab.ow2.org/sat4j/sat4j/-/merge_requests/4Fix sat 1552019-03-23T13:18:11ZDaniel Le BerreFix sat 155https://gitlab.ow2.org/sat4j/sat4j/-/merge_requests/6Cdcl strategies2020-10-04T10:02:25ZDaniel Le BerreCdcl strategieshttps://gitlab.ow2.org/sat4j/sat4j/-/merge_requests/9Add support for veripb in CP based solvers2021-09-20T14:59:59ZDaniel Le BerreAdd support for veripb in CP based solversThis branch provides support for the veripb proof format for CP based reasoning.This branch provides support for the veripb proof format for CP based reasoning.https://gitlab.ow2.org/sat4j/sat4j/-/merge_requests/11Build using Maven latest version (3.9.4)2023-08-31T11:17:23ZAntoine MottierBuild using Maven latest version (3.9.4)- Update Maven to latest version in GitLab CI configuration file.
- Moving from 3.8.4 to 3.9.4 lead to an update of maven-antrun-plugin as version is not specified in pom.xml nor in OW2 parent pom.xml (update is triggered by version defi...- Update Maven to latest version in GitLab CI configuration file.
- Moving from 3.8.4 to 3.9.4 lead to an update of maven-antrun-plugin as version is not specified in pom.xml nor in OW2 parent pom.xml (update is triggered by version defined in Maven super pom see: https://maven.apache.org/ref/3.9.4/maven-model-builder/super-pom.html). Changes introduce in maven-antrun-plugin version 3.0.0 (see https://maven.apache.org/plugins/maven-antrun-plugin/) requires some changes in the plugin configuration: parameter `tasks` is replaced by `target`. This commit include required updates.https://gitlab.ow2.org/sat4j/sat4j/-/merge_requests/12Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already...2023-09-25T19:45:18ZDaniel Le BerreConfigure SAST in `.gitlab-ci.yml`, creating this file if it does not already existConfigure SAST in `.gitlab-ci.yml` using the GitLab managed template. You can [add variable overrides](https://docs.gitlab.com/ee/user/application_security/sast/#customizing-the-sast-settings) to customize SAST settings.Configure SAST in `.gitlab-ci.yml` using the GitLab managed template. You can [add variable overrides](https://docs.gitlab.com/ee/user/application_security/sast/#customizing-the-sast-settings) to customize SAST settings.