{"id":20852317,"url":"https://github.com/minizinc/minisearch","last_synced_at":"2026-02-18T18:32:34.242Z","repository":{"id":70832175,"uuid":"357778597","full_name":"MiniZinc/MiniSearch","owner":"MiniZinc","description":"the source code for the MiniSearch meta-search language","archived":false,"fork":false,"pushed_at":"2021-04-14T05:11:09.000Z","size":4728,"stargazers_count":4,"open_issues_count":5,"forks_count":0,"subscribers_count":4,"default_branch":"develop","last_synced_at":"2025-10-12T21:18:39.954Z","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":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MiniZinc.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.txt","contributing":null,"funding":null,"license":"LICENSE.txt","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":"2021-04-14T04:55:49.000Z","updated_at":"2025-05-20T13:34:38.000Z","dependencies_parsed_at":"2023-05-03T23:18:39.898Z","dependency_job_id":null,"html_url":"https://github.com/MiniZinc/MiniSearch","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/MiniZinc/MiniSearch","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniSearch","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniSearch/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniSearch/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniSearch/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MiniZinc","download_url":"https://codeload.github.com/MiniZinc/MiniSearch/tar.gz/refs/heads/develop","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MiniZinc%2FMiniSearch/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29589545,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-18T16:55:40.614Z","status":"ssl_error","status_checked_at":"2026-02-18T16:55:37.558Z","response_time":162,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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-18T03:17:12.935Z","updated_at":"2026-02-18T18:32:34.219Z","avatar_url":"https://github.com/MiniZinc.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# MiniSearch 0.1\n\nThis repository contains the source code for the MiniSearch meta-search\nlanguage, which includes the MiniZinc 2.1beta constraint modelling language and\ntool chain. It provides a backend that supports all FlatZinc solvers.\n\n**This repository is no longer under active development. MiniSearch is not\nguaranteed to be compatible with newer versions of MiniZinc and might fail to\nwork in some ways in general.**\n\nWith MiniSearch you can express and run many advanced meta-searches,\nsuch as lexicographic optimisation, large neighbourhood search,\nand/or search and diverse solution search.\n\nHave a look at the MiniSearch webpage for a detailed documentation:\nhttp://www.minizinc.org/minisearch\n\n## Folder Structure\n\n    README.md                    ---\u003e   this file\n    CMakeLists.txt               ---\u003e   cmake file\n    README_bin.txt               ---\u003e   README for binary package\n    lib/                         ---\u003e   cpp Files and libs\n    doc/                         ---\u003e   some MiniZinc documenation\n    solvers/                     ---\u003e   solver backends\n    tests/                       ---\u003e   test files and examples\n    LICENSE.txt                  ---\u003e   license file\n    md5_gen.cmake                ---\u003e   script for parser and lexer\n    share/                       ---\u003e   examples and MiniZinc libs\n    include/                     ---\u003e   header files\n\n## Compilation\n\nTo compile the sources, you require cmake (version 2.8.7 or newer),\nflex, bison and a C++ compiler. Follow the instructions below for\nyour OS in a terminal.\n\n- Linux and Mac OS \\*\n  Create a build/ folder in the current directory and change into it\n  and execute cmake and make:\n\n      mkdir build\n      cd build\n      cmake ..\n      make\n\nAfter compilation the build/ folder will contain the binary file\nminisearch. See 'Getting Started' on how to execute it.\n\nNote: The instructions above will compile the sources for a 64bit\nmachine. If you are compiling for a 32-bit architecture, then set\nthe cmake option 'BUILD_32BIT' by:\n\n    cmake -DBUILD_32BIT=ON ..\n\n### Windows\n\nCreate a build/ folder in the current directory and change into it\nand execute cmake where you set the project file type, for instance\nVisual Studio 12 (type 'cmake --help' to get a list of all project\nfile generators):\n\n    mkdir build\n    cd build\n    cmake -G\"Visual Studio 12 2013\" ..\n    cmake --build .\n\nAfter compilation the build/Debug folder will contain the binary file\nminisearch.exe. See 'Getting Started' on how to execute it.\n\nNote: The instructions above will compile the sources for a 32bit\nmachine. If you are compiling for a 64-bit architecture, then set\nthe cmake option for a 64bit architecture, for instance:\n\n    cmake -G\"Visual Studio 12 2013 Win64\" ..\n\n** Building the binary package **\n\nYou can create the binary package using the following command\n(after compilation) in the build/ directory:\n\ncmake --build . --target package\n\nThis will create a .tar.gz (Linux and Mac OS) or .zip file (Windows)\nin the build/ directory that contains the binary package.\n\n** Getting Started **\n\n- Linux and Mac OS \\*\n  After compilation, the minisearch binary file is in the build/\n  directory and you can find MiniSearch examples in the directory:\n  tests/minisearch/regression_tests/. You can run an example with\n  your FlatZinc solver \u003cfzn-solver\u003e by typing, for instance\n\n./build/minisearch --solver \u003cfzn-solver\u003e tests/minisearch/regression_tests/golomb_lns.mzn\n\ninto your shell in this directory. Check out the documentation on\nhow to get a FlatZinc solver if have not got any installed on your\nsystem.\n\nNote that you also have to set the MiniZinc standard library path\n$MZN_STDLIB_DIR to share/minizinc/ since it contains the MiniSearch\nbuiltin definitions. You can also manually set the stdlib path by\nadding the --stdlib-dir option to calling minisearch:\n\n./build/minisearch --solver \u003cfzn-solver\u003e --stdlib-dir share/minizinc/ tests/minisearch/regression_tests/golomb_lns.mzn\n\n- Windows \\*\n  After compilation, the minisearch binary file is in the\n  build/Debug directory and you can find MiniSearch examples in\n  the directory: tests/minisearch/regression_tests. You can run an\n  example with your FlatZinc solver \u003cfzn-solver.exe\u003e by typing, for\n  instance\n\ncd build/Debug\nminisearch.exe --solver \u003cfzn-solver.exe\u003e ../../tests/minisearch/regression_tests/golomb_lns.mzn\n\nNote that you also have to set the MiniZinc standard library path\n$MZN_STDLIB_DIR to share/minizinc since it contains the MiniSearch\nbuiltin definitions. You can also manually set the stdlib path by\nadding the --stdlib-dir option to calling minisearch:\n\nminisearch.exe --solver \u003cfzn-solver.exe\u003e --stdlib-dir ../../share/minizinc ../../tests/minisearch/regression_tests/golomb_lns.mzn\n\n** Documentation **\n\nFor a detailed documentation please visit:\nhttp://www.minizinc.org/minisearch\n\n** Bugs **\n\nIf you encounter any problems with MiniSearch, please use the MiniZinc\nbug tracker at http://www.minizinc.org/trac to report any issues or\nfeature requests.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fminizinc%2Fminisearch","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fminizinc%2Fminisearch","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fminizinc%2Fminisearch/lists"}