Tiago Gomes
|
6668ee6381
|
add initial skeleton for lifted bp
|
2012-05-30 19:23:41 +01:00 |
|
Tiago Gomes
|
8d14593c3e
|
add an enum for lifted solvers and do some renamings
|
2012-05-30 17:17:39 +01:00 |
|
Tiago Gomes
|
a9c369aac1
|
size_t invasion, part II
|
2012-05-28 14:01:05 +01:00 |
|
Tiago Gomes
|
af6601837c
|
size_t invasion
|
2012-05-24 22:55:20 +01:00 |
|
Tiago Gomes
|
acc5ab056a
|
some refactorings
|
2012-05-24 16:14:13 +01:00 |
|
Tiago Gomes
|
444eaacc63
|
add operators to manipulate vectors of parameters
|
2012-05-24 14:55:30 +01:00 |
|
Tiago Gomes
|
6cb718942a
|
some renamings
|
2012-05-23 21:23:03 +01:00 |
|
Tiago Gomes
|
d91e91b97e
|
prefix calls to c++ functions with cpp_
|
2012-05-23 20:34:57 +01:00 |
|
Tiago Gomes
|
6c77afb3ae
|
ok, second try
|
2012-05-23 14:56:01 +01:00 |
|