Changes for document SAT4J

From version 14.1
edited by Alexandre Lefebvre
on 2012/09/03 17:10
To version 15.1
edited by Alexandre Lefebvre
on 2013/02/12 16:58
Change comment: updated FOSSology report
Object changes
Property Previous value New value
Object number 0 of type Activities.ProjectSummaryClass modified
URL for the project Fossology analysis http://fossology.ow2.org/?mod=nomoslicense&upload=26&item=210372
projectOverviewDescription The aim of the SAT4J library is to provide a simple and efficient open source library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. SAT4J is currently the most widely deployed SAT framework because of its adoption within the Eclipse Open platform. SAT4J is available under both the Eclipse Public License and the GNU LGPL licence The aim of the SAT4J library is to provide a simple and efficient open source library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. SAT4J is currently the most widely deployed SAT framework because of its adoption within the Eclipse Open platform. SAT4J is available under both the Eclipse Public License and the GNU LGPL licence
ProjectShortDescription Simple and efficient open source library of SAT solvers in Java. Simple and efficient open source library of SAT solvers in Java.
projectFossologyVersion SAT4J 2.3.0 SAT4J 2.3.3
Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice