Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
sat4j
sat4j
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Assad Montasser
  • sat4jsat4j
  • Repository
  • Branches

  • Overview
  • Active
  • Stale
  • All
  • Sort by
  • Name
  • Oldest updated
  • Last updated
  • master default protected
    db90c603 · Adding build for java 11. Moving from maven 3.5.3 to 3.5.4 for that. · Sep 27, 2018
    Download source code
    zip tar.gz tar.bz2 tar
  • JAN_FIX
    1af826fe · remove debug statements · Dec 02, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • cherry-pick-5d0a981f
    7f0dcd16 · Add missing import statements. · Aug 23, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • KTH merged
    1bdf238a · Solve compilation problem. · Mar 26, 2017
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • BRESIL
    06b5a5d6 · Implement toString(VarMapper) · Nov 30, 2013
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_3_5
    170d1dcf · making source code of Sat4j 2.3.5 visible to the outside world. · May 28, 2013
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • SAT107FIX
    b24174c8 · Added fix for SAT-107. Updated version number to 2.3.5 · May 28, 2013
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_3_4
    e99c3f26 · [maven-release-plugin] copy for tag org.ow2.sat4j.pom-2.3.4 · Apr 19, 2013
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_3_3
    2026be80 · [maven-release-plugin] copy for tag org.sat4j.pom-2.3.3 · Feb 09, 2013
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_3_2
    72658773 · [maven-release-plugin] copy for tag org.sat4j.pom-2.3.2 · Jul 09, 2012
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_3_1
    610006b8 · [maven-release-plugin] copy for tag org.sat4j.pom-2.3.1 · Oct 30, 2011
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_3_0
    460d6aa7 · [maven-release-plugin] copy for tag org.sat4j.pom-2.3.0 · Mar 29, 2011
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_2_3
    ef696296 · [maven-release-plugin] copy for tag org.sat4j.pom-2.2.3 · Dec 23, 2010
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • REDUCED_CORE_PACKAGES
    40db9f01 · Added a static method to access the default solver. · Nov 11, 2010
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_2_0
    1c188c2d · creating the tag for 2.2.0 official release. · Jun 23, 2010
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ECLIPSE_3_6
    b74c0c59 · Tagging the code that will ship in Eclipse 3.6 (Helios). · Jun 11, 2010
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • THREE_ZERO
    a7da92b3 · Now register blocking clauses, else those clauses will be forgotten after restarting. · May 09, 2010
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_1_1
    66c436b3 · 2.1.1 release that should ship with Eclipse 3.5.2. · Oct 18, 2009
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_1_FINAL
    d26ae525 · create a tag for 2.1 final released with Eclipse. · Jul 29, 2009
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 2_1_0_ECLIPSE
    822b7e9d · Final release of SAT4J 2.1 that will ship with Eclipse 3.5 · May 25, 2009
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • Next

Delete protected branch '[branch name]'?

You’re about to permanently delete the protected branch [branch name].

This branch hasn’t been merged into master . To avoid data loss, consider merging this branch before deleting it.

Once you confirm and press Delete protected branch , it cannot be undone or recovered.

To confirm, type [branch name] :

Delete protected branch