Ohloh by Black Duck

 Follow @ Meta   Join Now

 Settings |  Report Duplicate
High Activity
4

Project Summary

  Analyzed 10 days ago based on code collected 10 days ago.

The SAT4J project is meant to provide SAT technologies to Java developers.

SAT4J 2.0 is currently used in numerous academic projects (see SAT4J web site) and is used in the new Eclipse 3.4 update manager (Equinox p2).

Share

Quick Reference

Project Links:

 Download
Code Locations:
svn://svn.forge.objectweb.org/sv...
Licenses:
EPL-1.0 and LGPL
Similar Projects:
Managers:
Daniel Le Berre
Browse Code

In a Nutshell, SAT4J...

Languages

Java 		94%
8 Other 		6%
 
 

Lines of Code

 

Activity

30 Day Summary Apr 17 2013 — May 17 2013

12 Month Summary May 17 2012 — May 17 2013

  • 676 Commits Up +308 (83%) from previous 12 months
  • 5 Contributors Up +1 (25%) from previous 12 months

Commits per Month

Community

Ratings

1 user rates this project:
5.0
 
5.0/5.0
 
Click to add your rating
 
Review this Project!

Most Recent Contributors

Avatar Daniel Le Berre Anon32 lonca
Anon32 sroussel Anon32 parrain
Anon32 anterak13    

Contributors per Month

 
 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.