- Committer: Jiri Srba
- Date: 2018-09-11 17:19:06 UTC
- mfrom: (212.1.4 query_rewrite_fix)
- Revision ID: srba@cs.aau.dk-20180911171906-ovswtfhfcr2vcs52
merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
liblpsolve55-linux32.a |
39.1.1 | 9 years ago | Jonas Finnemann Jensen | lpsolve static without dlopen | 793 KB |
|
|
|
liblpsolve55-linux64.a |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 1 MB |
|
|
|
liblpsolve55-osx32.a |
36 | 10 years ago | Jonas Finnemann Jensen | Added lpsolve binaries for linux 32 and 64 bit | 758 KB |
|
|
|
liblpsolve55-osx64.a |
36 | 10 years ago | Jonas Finnemann Jensen | Added lpsolve binaries for linux 32 and 64 bit | 782 KB |
|
|
lp_Hash.h |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 1.1 KB |
|
|
|
lp_lib.h |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 116 KB |
|
|
|
lp_matrix.h |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 11.9 KB |
|
|
|
lp_mipbb.h |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 2 KB |
|
|
|
lp_solve_5.5.2.0_source.tar.gz |
39.1.1 | 9 years ago | Jonas Finnemann Jensen | lpsolve static without dlopen | 780 KB |
|
|
|
lp_SOS.h |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 4.5 KB |
|
|
|
lp_types.h |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 9.6 KB |
|
|
|
lp_utils.h |
190.5.28 | 6 years ago | Peter G. Jensen | new lp solve for 64bit linux | 5.5 KB |
|
|
|
lpsolve55-win32.dll |
35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav | 380 KB |
|
|
|
lpsolve55-win64.dll |
39 | 10 years ago | Jonas Finnemann Jensen | Added win64 support | 612 KB |
|
|
|
README.md |
39.1.1 | 9 years ago | Jonas Finnemann Jensen | lpsolve static without dlopen | 584 bytes |
|
|