Группа: org.ow2.sat4j

  • SAT4J core
    org.ow2.sat4j » org.ow2.sat4j.core

    The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SA...

    Последний релиз: февр. 16, 2013
  • SAT4J csp
    org.ow2.sat4j » org.ow2.sat4j.csp

    The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets ...

    Последний релиз: февр. 16, 2013
  • SAT4J csp xml parser
    org.ow2.sat4j » org.ow2.sat4j.csp.xmlparser

    The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets ...

    Последний релиз: февр. 16, 2013
  • SAT4J maxsat
    org.ow2.sat4j » org.ow2.sat4j.maxsat

    The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets ...

    Последний релиз: февр. 16, 2013
  • SAT4J pseudo
    org.ow2.sat4j » org.ow2.sat4j.pb

    The pb library contains algorithms for solving pseudo boolean optimization problems.

    Последний релиз: февр. 16, 2013
  • SAT4J
    org.ow2.sat4j » org.ow2.sat4j.pom

    The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets ...

    Последний релиз: февр. 16, 2013
  • SAT4J sat
    org.ow2.sat4j » org.ow2.sat4j.sat

    Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

    Последний релиз: дек. 14, 2020