SAT4J

Last Published: 2009-02-04

Modules
  • SAT4J core
  • SAT4J pseudo
  • SAT4J multicore
  • SAT4J maxsat
  • SAT4J sat
  • SAT4J csp xml parser
  • SAT4J csp
  • SAT4J helper
Project Documentation
  • Project Information
  • Project Reports
    • Change Log
    • Developer Activity
    • File Activity
    • JavaNCSS Report
    • Surefire Report
Built by Maven

File Activity Report

Changes between 2009-01-05 and 2009-02-05

Total commits: 7
Total number of files changed: 8

Filename Number of Times Changed
/maven/tags/2_0_5/org.sat4j.sat/src/main/java/org/sat4j/Lanceur.java 2
/maven/tags/2_0_5/build.xml 2
/maven/tags/2_0_5/org.sat4j.helper/src/main/java/org/sat4j/helper/MappingHelper.java 1
/maven/tags/2_0_5/org.sat4j.helper/pom.xml 1
/maven/tags/2_0_5/org.sat4j.helper/META-INF/MANIFEST.MF 1
/maven/tags/2_0_5/org.sat4j.helper/src/test/java/org/sat4j/helper/TestDependencyHelper.java 1
/maven/tags/2_0_5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/BinaryClausePB.java 1
/maven/tags/2_0_5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/UnitClausePB.java 1

© 2009 Centre de Recherche en Informatique de Lens (CRIL)