Skip to content

sat4j
sat4j
sat4j

sat4j

Project ID: 41
Star 1
Clone

    • Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

    Switch branch/tag
    History Find file
    Name
    Last commit
    		 Last update
    .settings Loading commit data...
    META-INF Loading commit data...
    lib Loading commit data...
    org.sat4j.br4cp Loading commit data...
    org.sat4j.core Loading commit data...
    org.sat4j.csp.xmlparser Loading commit data...
    org.sat4j.intervalorders Loading commit data...
    org.sat4j.maxsat Loading commit data...
    org.sat4j.pb Loading commit data...
    org.sat4j.sat Loading commit data...
    org.sat4j.sudoku Loading commit data...
    src/site Loading commit data...
    .gitlab-ci.yml Loading commit data...
    .project Loading commit data...
    LICENSE Loading commit data...
    README.md Loading commit data...
    build.xml Loading commit data...
    buildSite.sh Loading commit data...
    pom.xml Loading commit data...
    sat4j-live.bash Loading commit data...
    settings.xml Loading commit data...
    stylesheet.css Loading commit data...