{"id":21962438,"url":"https://github.com/scipopt/zimpl","last_synced_at":"2025-06-10T17:07:24.788Z","repository":{"id":242441252,"uuid":"807593388","full_name":"scipopt/zimpl","owner":"scipopt","description":null,"archived":false,"fork":false,"pushed_at":"2025-04-09T04:09:05.000Z","size":10323,"stargazers_count":1,"open_issues_count":2,"forks_count":0,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-04-09T05:20:37.888Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"lgpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/scipopt.png","metadata":{"files":{"readme":"README","changelog":"CHANGELOG","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-05-29T11:57:46.000Z","updated_at":"2025-04-09T04:09:09.000Z","dependencies_parsed_at":"2024-08-22T12:08:20.798Z","dependency_job_id":"5f1437c4-c9a1-451f-a3ac-ba670d91c870","html_url":"https://github.com/scipopt/zimpl","commit_stats":null,"previous_names":["scipopt/zimpl"],"tags_count":16,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/scipopt%2Fzimpl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/scipopt%2Fzimpl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/scipopt%2Fzimpl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/scipopt%2Fzimpl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/scipopt","download_url":"https://codeload.github.com/scipopt/zimpl/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/scipopt%2Fzimpl/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259114472,"owners_count":22807244,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-29T10:40:24.477Z","updated_at":"2025-06-10T17:07:24.757Z","avatar_url":"https://github.com/scipopt.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"INTRODUCTION\n------------\nZIMPL is a little language to translate the mathematical model of a\nproblem into a linear or (mixed-)integer mathematical program\nexpressed in .lp or .mps file format which can be read by a LP or MIP\nsolver.\n\nIf you use Zimpl for research and publish results, the best way\nto refer to Zimpl is to cite my Ph.d. thesis:\n\n@PHDTHESIS{Koch2004,\n   author      = \"Thorsten Koch\",\n   title       = \"Rapid Mathematical Programming\",\n   year        = \"2004\",\n   school      = \"Technische {Universit\\\"at} Berlin\",\n   url         = \"http://www.zib.de/Publications/abstracts/ZR-04-58/\",\n   note        = \"ZIB-Report 04-58\",\n}   \n\n\nCOMPILING\n---------\nTo compile Zimpl you need two additional librarys:\n\n - GNU Multiple Precision Arithmetic Library \n   Version 4.2.2 or newer at http://www.swox.com/gmp\n - zlib Version 1.2.5 or newer at http://www.gzip.org/zlib/\n\nZimpl has not been tested with older versions of above librarys.\nGMP Version 3.x will not work for sure.\n\nIf zlib.h and gmp.h and libgmp.a and libz.a are not at the usual\nplaces you have to adapt the Makefile, see below.\n\nOn a Linux system you might succeed with just saying: make\n\nOtherwise:\n\n  Whatever with GNU C        :  gmake \n  Linux/x86 with Intel C     :  gmake COMP=intel\n  Tru64 with Compaq C        :  gmake COMP=compaq\n  Solaris with SUN Forte C   :  gmake COMP=sun\n  AIX with VisualAge C       :  gmake COMP=ibm\n  Windows with Cygwin/GCC    :  gmake COMP=gnu\n  HPUX with HP C             :  gmake COMP=hp\n  IRIX with SGI C            :  gmake COMP=sgi\n  \nIf your configuration is not in the list or does not work,\nyou have to change the Makefile. Go to make/local\nan add a file make.\u003chostname_of_your_computer\u003e\nThere you can set the usual suspects like CC, CFLAGS, LDFLAG,\nand so on. \nThe most likely reason that you can't compile, is that\ngmp.h or zlib.h are not in your include path (-I) or\nthat libgmp.a oder libz.a are not in your library path (-L). \n\nExample:\n\nCPPFLAGS        +=      -I/tmp/gmp/include\nLDFLAGS         +=      -L/tmp/gmp/lib\n\nHave a look at Makefile and make/make.* to\nget an idea. \n\nOn some MAC systems, GMP is installed under /sw/include and /sw/lib.\nIf these are not contained in the library and include paths, you have\nto add them explicitly, as shown above.\n\n\nWINDOWS\n-------\n\nYou can just the through the source files into Visual Studio 2010.\nPlease add the contents of the src/WIN directory to the files to be \ncompiled. Make sure to set the following defines: \nWIN32 or WIN64 and INLINE=\n\nAs for the libraries we recommend to replace gmp by \n  MPIR - Multiple Precision Integers and Rationals\n         version 2.4.0 or newer from http://mpir.org\nFurthermore, you need \n  PCRE - Perl Compatible Regular Expressions \n         version 8.12 or newer from http://www.pcre.org \n         which should be compiled using the following two\n         defines -DWITH_PCRE -DPCRE_STATIC\n\n\nCHECKING\n--------\nDo a \"make check\" and look if it works. If not, compile again\nwith an added \"OPT=dbg\" to the gmake invocation. \n\nIf a failure in the 'subto' test is reported, this is to a\ndifference in the behaviour of printf() and not a problem.\n\nINSTALLATION\n------------\nCopy bin/zimpl.*.opt to wherever you like.\n\n\nALL GNULESS\n-----------\nif you don't have gcc and gmake etc. You can try the following.\nGo to src and say \"cc -O *.c -o zimpl\".  \n\n\nLICENSE\n-------\nZIMPL is under the GNU Lesser General Public License Version 3. \nSee the file LICENSE for details.\n\n\nLATEST VERSION\n--------------\nCan be found at http://zimpl.zib.de\n\n\nBUGS\n----\nProbably several. If you find one, send a description \nwith runnable example .zpl file to koch@zib.de\n(Better even, send a working fix ;-)\n\n\nREMARK\n------\nIf anything is changed in the code I would recommend recompiling\nwithout NDEBUG and NO_MSHELL defined. This will slow down the code\nconsiderably but will do a lot of consistency checking.\nIn the source code are a lot of comments starting with\n/*lint ... and also a target in the Makefile.\nThese are for flexelint (see http://www.gimpel.com) a very good\nversion of lint. If you are interested in my settings used for this\nproject, send me an email.\n\n\nTHANKS \n------ \nTo Tuomo Takkula, Armin Fuegenschuh, Marc Pfetsch, Daniel Junglas, \nJoerg Rambau, Tobias Achterberg, Andreas Bley, Sebastian Orlowski, \nBejamin Hiller, Ralf Borndoerfer, Martin Assmann, Nicolas Weber, \nMarc Moerig, Jens Hillmann, Dimitri Sverdlov, Joachim Reichel, \nMaciej Warszawski and all I forgot for their comments and bug reports.\n\n\nCOMPLAINTS\n----------\n\u003e/dev/null\n\nHave fun!\n\n\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fscipopt%2Fzimpl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fscipopt%2Fzimpl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fscipopt%2Fzimpl/lists"}