OW2 Annual Conference
SAT4J: Bringing the power of SAT technology to the Java platform
 

Users

They are using SAT4J for their research or tools:

Persons involved in some ways in SAT4J @ CRIL

The following students took part in the development of SAT4J:
Researchers developing SAT4J:
Some of their ideas are implemented in SAT4J:

Other contributors

CRIL OW2 Consortium
Valid XHTML 1.1 Valid CSS!
This is free software under both the Eclipse Public License and the GNU LGPL licence developed at CRIL. The SAT4J project is kindly hosted on the OW2 forge.YourKit is kindly supporting open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: YourKit Java Profiler and YourKit ASP.NET Profiler.