White Papers about modeling
| What is Modeling? (html) (pdf) | A short paper of an informal introduction to the concept of model, and a formal definition |
| How to Model? (html) (pdf) | A paper that explains the process of modeling, and a set of small instructive example problems |
| What is Indexing? (html) (pdf) | An introduction of the use of indexing in mathematical modeling |
| Model Types (html) (pdf) | A classification of various model types and a collection of examples and implemented applications |
| Pivot Table (html) (pdf) | A brief introduction into multi-dimensional datacubes, their operations and their representation as pivot tables |
| Logical Modeling (html) (pdf) | An introduction to integer programming models and of using Boolean operations in modeling. It also gives some hints on how to translate logical expressions into linear constraints using binary variables |
| Permutation Problems (html) (pdf) | A definition of the special class of permutation problems and how to solve them. The paper also contains a number of executable model examples. |
| Other Tools (html) (pdf) | Some other, alternative modeling tools are presented |
| My Vision (html) (pdf) | My personal vision of a full-fletched modeling langugae |
White Papers about LPL
| Fuctionalities of LPL | Short description of the LPL software and its functionalities |
| An Intro to LPL (html) (pdf) | A paper explains my ideas of a modeling language and compares it to programming languages |
| README | Very quick readme for installing LPL |
| Install LPL | Installation manual of LPL |
| Tutorial | A Collection of tutor examples |
| Reference Manual | The reference manual of the LPL modeling language |
| User Manual | User Manual of the Windows Interface version of the LPL modeling system |
Models in LPL
| Williams' models | The 30 case studies from: "Williams H.P., Model Building in Mathematical Modelling, Wiley, 5rd edition, 2013". |
| Guéret's models | The 65 models from: ." Guéret Ch., Prins Ch., Sevaux, M., Programmation linéaire, Eyrolles, 2000". (in French). The book has been translated to English and is available at Xpress |
| Go to the PDF textbook | A Collection of many small and simple models from various classical OR books. |
Downloads
| Download LPL | Download the complete LPL Modeling System (Windows version) |
| License Key | Get an Academic License for LPL valid for one month free of charge |
| Solver CBC | Linear Solver ready for LPL (Windows version) |
| Solver GLPK | Linear Solver ready for LPL (Windows version) |
| Julia Notebook | A Jupyter Notebook for calling LPL from Julia through Internet. No LPL installation needed |
| Python Notebook | A Jupyter Notebook for calling LPL from Python through Internet. No LPL installation needed |
Old White Papers
| diss.pdf | LPL: A Structured Language for Modeling Linear Programs (my Dissertation), 1987 |
| Manual_3.5-1.pdf | An Old Reference Manual of LPL Version 3.5, 1990 |
| Units.pdf | Units measurement in an old LPL Version, 1991 |
| Aachen.pdf | Modeling Tools (talk at Aachen), 1991 |
| NetzEditor.pdf | Network Editor integrated in an old LPL Version, 1992 |
| Sort.pdf | A Smart Algorithm for Transposing a Matrix, 1992 |
| ULM.pdf | Modeling Tools (talk in Ulm), 1992 |
| packing.pdf | Zuschnittprobleme und der genetische Algorithmus, 1992 |
| IAUFBandII-1.pdf | Modeling Tools for Decision Support (Book), ed. Kohlas J., 1993 |
| PROLOG.pdf | Logic Programming and LPL, 1993 |
| -Berechenbar.pdf | Über Berechenbarkeit: eine Zusammenfassung, 1993 |
| Logik.pdf | Logic, : A Survey, 1993 |
| primes.pdf | Ein Public-Key-Kryptosystem (Zusammenfassung für Vorlesungen), 1994 |
| GregDate.pdf | Gregorian Calendar, 1994 |
| Steiner.pdf | The Euclidean Steier Tree Problem, Implementation of a Heuristic, 1994C |
| Simplex.pdf | The Simplex Method, 1995 |
| Uncertainty.pdf | Uncertainty in Mathematical and Logical Models, 1995 |
| SwissPerfect.pdf | A New Theorem on Swiss Perfectness (with A. Klinkert), a not so serious presentation at the 70 anniversary of C. Berge), 1996 |
| Habil-new.pdf | Computer-Based Mathematical Modeling : My Habilitation, 1997 |
| Habil.pdf | Computer-Based Mathematical Modeling : My Habilitation, 1997 |
| Zufallszahlen.pdf | Zufallszahlen Generatoren, 1997 |
| logical.pdf | Logical Modeling Using LPL, 1997 |
| logical1.pdf | An Efficient Logic-to-IP Translation Procedure (APMOD98 International Conference Talk), 1998 |
| modeling.pdf | Modeling Languages in optimization : a new paradigm, 1998 |
| orann.pdf | Modeling Languages: A new Paradigm of Programming, 1998 |
| orann1.pdf | Index-Sets in Modeling Languages, 1998 |
| nim.pdf | NIM-Spiele : Eine Mathematische Analyse mit Computercode, 1999 |
| HabilK.pdf | Mathematical Modeling and Optimization : An Essay for the Design of Computer-Based Modeling Tools (My Habilitation) (published with Kluwer), 2000 |
| rap.pdf | RAP – Rationanplan Re-engineering eines DSS-Systems (Technische Documentation), 2000 |
| Locical2.pdf | An Efficient Logic-to-IP Translation Procedure, 2001 |
| Azmat.pdf | Mixed Integer Programming to Schedule a Single-shift Workforce under Annualized Hours (with M. Widmer and C. Azmat), 2002 |
| date.pdf | Date/Time Type in LPL, 2003 |
| highlights.pdf | The LPL Modelling Language : Highlights, 2003 |
| pivot.pdf | Slicing -- Dicing -- Sizing -- Rising : A Theory of Datacube and Pivoting, 2004 |
| dynampro.pdf | Dynamic Programming : A Case Study, 2005 |
| colors.pdf | Colors in LPL's Drawing Tool, 2005 |
| assumption.pdf | Assumption-Based Reasoning with LPL, 2005 |