SAT4J pseudo
The pb library contains algorithms for solving pseudo boolean optimization problems.
|
Version |
Repository |
Kutymer |
Dato |
| 2.3.x |
2.3.1
|
central |
|
okt. 31, 2011 |
|
2.3.0
|
central |
|
mar. 30, 2011 |
| 2.2.x |
2.2.3
|
central |
|
dec. 24, 2010 |
| 2.0.x |
2.0.4
|
central |
|
nov. 06, 2008 |
|
2.0.0
|
central |
|
okt. 01, 2008 |