[GIT] ppl/ppl(master): Added test showing a bug when solving again a 0-dimensional MIP_Problem.
by Enea Zaffanella 17 Oct '11
by Enea Zaffanella 17 Oct '11
17 Oct '11
1
0
1
0
1
0
1
0
[GIT] ppl/ppl(master): Reorganized the generation of Prolog interface manuals to avoid duplication .
by Enea Zaffanella 10 Oct '11
by Enea Zaffanella 10 Oct '11
10 Oct '11
1
0
[GIT] ppl/ppl(master): Make sure we find <gmpxx.hh> when compiling instchk. hh to check for valid instantiations.
by Roberto Bagnara 10 Oct '11
by Roberto Bagnara 10 Oct '11
10 Oct '11
1
0
2
3
[GIT] ppl/ppl(master): Better terminology and identifiers concerning time units.
by Roberto Bagnara 10 Oct '11
by Roberto Bagnara 10 Oct '11
10 Oct '11
1
0
09 Oct '11
1
0
1
0