November 2009 Archives by thread
Starting: Mon Nov 2 17:34:04 CET 2009
Ending: Mon Nov 30 17:14:51 CET 2009
Messages: 101
- [PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Proper scaling of cuts in compatiblity_check.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented Bland' s anti-cycling rule in compatibility_check.
François Galea
- [PPL-devel] [lucas at lucas-nussbaum.net: Bug#552959: ppl: FTBFS: build blocks]
Michael Tautschnig
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented the art_parameter_count method; updated the C interface.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Implemented an example of solution tree spanning and display using
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Improved basis handling with support for slack variables and bijective variable mapping .
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added coherency checks in PIP_Solution_Node.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Improved basis handling in compatibility_check.
François Galea
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
alanpae at ilkda.com
- [PPL-devel] [GIT] ppl/ppl(pip): Improved the support for equality constraints.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Removed temporary debug code.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed a bug.
François Galea
- [PPL-devel] Problem comiling ppl 0.10.2
Pierre
- [PPL-devel] Sample examples of use of PPL
Étienne André
- [PPL-devel] PPL Java interface on windows
Krzysztof Jakubczyk
- [PPL-devel] [GIT] ppl/w3ppl(master): Updated Pat's home page.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Made use of virtual methods in PIP_Tree_Node::clone().
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added a mechanism for setting/ getting control parameter values.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added a control parameter for cut generation strategy.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Switched the default cut generation strategy to first row.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added support for an arbitrarily big parameter.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed a bug in standalone solver when using PIPlib files with a big parameter .
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Minor fix fixes in standalone solver.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Updated the deepest cut strategy; now only selects rows associated to initial variables.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed a bug in PIP_Problem copy constructor.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added an option in PIP standalone solver to solve the problem several times .
François Galea
- [PPL-devel] OpenSolaris success - was Re: Modified PPL 0.10.2 source distribution for Solaris
alanpae at ilkda.com
- [PPL-devel] [GIT] ppl/ppl(pip): Removed useless debugging display code.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Correctly rewrote ascii_dump/ ascii_load methods for PIP_Solution_Node.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Improved the deepest row selection cut strategy.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added a pointer to parent node in PIP_Tree_Node.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added a mechanism to avoid generating the same Artificial_Parameter twice.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Added a rule to the cut methods to always choose the simplest parametric part .
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Optimized the solver main loop using PPL_DIRTY_TEMP_COEFFICIENT's.
François Galea
- [PPL-devel] [GIT] ppl/ppl(floating_point): Modified tests on rate limiter. Removed useless comments.
Roberto Amadini
- [PPL-devel] Parametric integer linear programming solver
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Added Francois Galea to the list of current contributors.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Item added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Corrected a bug in method swap.
Enea Zaffanella
- [PPL-devel] PPL, Windows, MinGW
Krzysztof Jakubczyk
- [PPL-devel] PPL, Windows, MinGW
Roberto Bagnara
- [PPL-devel] PPL, Windows, MinGW
Krzysztof Jakubczyk
- [PPL-devel] PPL, Windows, MinGW
Roberto Bagnara
- [PPL-devel] PPL, Windows, MinGW
Krzysztof Jakubczyk
- [PPL-devel] PPL, Windows, MinGW
Roberto Bagnara
- [PPL-devel] PPL, Windows, MinGW
Krzysztof Jakubczyk
- [PPL-devel] PPL, Windows, MinGW
Roberto Bagnara
- [PPL-devel] PPL, Windows, MinGW
Krzysztof Jakubczyk
- [PPL-devel] PPL, Windows, Java interface
Krzysztof Jakubczyk
- [PPL-devel] [GIT] ppl/ppl(pip): Enumerations for control parameters put inside class PIP_Problem.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): In PIP_Problem::clear(), do also reset the big parameter dimension.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Started drafting a Prolog interface for PIP_Problem.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Minor improvements to avoid assertion failures on iterators.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Started adding tests to increase coverage.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Started adding tests checking for the right PIP_Problem exceptions are thrown .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Prefer not_a_dimension() as a marker if the big parameter is not set.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Test test07() in pipproblem2. cc shows a bug in PIP_Problem.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): PIP_Problem can handle strict inequalities: corresponding checks removed.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed a regression.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Removed useless utility function.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Moved the lexico-minimum column search algorithm to a separate function.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Minor cosmetic code fixes.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Changed the pivot row selection algorithm in compatibility_check.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Changed the cut generation strategy in compatibility_check.
François Galea
- [PPL-devel] [GIT] ppl/ppl(master): One item added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Fixed the links to the ArchLinux distribution.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Properly set status flags when solving a PIP_Problem having no constraints .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Added a few tests for the PIP_Problem ascii_dump/ load methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Test test10() in pipproblem2. cc seems to show another bug.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Modified the documentation of the PIP_Problem class.
François Galea
- [PPL-devel] [GIT] ppl/ppl(floating_point): Improved tests on rate limiter. They all pass now.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a rate limiter test that pass without intersection between
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a typo.
Fabio Biselli
- [PPL-devel] Windows, Java interface
Krzysztof Jakubczyk
- [PPL-devel] [GIT] ppl/ppl(pip): Simplified the solution tree exploration method.
François Galea
- [PPL-devel] [GIT] ppl/ppl(pip): Improved the documentation of the PIP solver.
François Galea
Last message date:
Mon Nov 30 17:14:51 CET 2009
Archived on: Sun Mar 6 09:35:42 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).