sat4j/maxsat |
|
ViewCVS and CVS Help |
| Current directory: | [OW2-CVS] / sat4j / maxsat |
| Files shown: | 4 |
| File | Rev. | Age | Author | Last log entry | |
|---|---|---|---|---|---|
|
|
|||||
|
|
|||||
|
|
|||||
|
|
|||||
|
|
|||||
|
|
1.3 | 6 months | leberre | That module need to depend both of org.sat.core and org.sat4j.pb. | |
|
|
1.2 | 6 months | leberre | created as an OSGi plugin. | |
|
|
1.2 | 6 months | leberre | Refactored packages to avoid having the same package names in different jars. Ad... | |
|
|
1.1 | 6 months | leberre | Refactored packages to avoid having the same package names in different jars. Ad... | |
| webmaster@ow2.org |
Powered by ViewCVS 0.9.4 |
Back to OW2 Forge