Skip to content

Explore projects

  • SAT4J / sat4j

    Eclipse Public License 1.0

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

    Updated
    Updated
  • asm / asm

    BSD 3-Clause "New" or "Revised" License

    This project contains the sources of the OW2 ASM library.

    Updated
    Updated