{"id":52022257,"url":"https://github.com/hocestnonsatis/propaga","last_synced_at":"2026-08-01T04:01:05.769Z","repository":{"id":366456687,"uuid":"1276226346","full_name":"hocestnonsatis/propaga","owner":"hocestnonsatis","description":"Modern propagator-based constraint solver in Rust — FlatZinc subset, nogood learning, scheduling, and CLI.","archived":false,"fork":false,"pushed_at":"2026-07-13T19:16:49.000Z","size":512,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-07-25T08:05:12.445Z","etag":null,"topics":["algorithms","cli","constraint-programming","constraint-satisfaction","flatzinc","minizinc","propagation","rust","solver"],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/hocestnonsatis.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE-APACHE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":null,"governance":null,"roadmap":"ROADMAP.md","authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-06-21T17:46:08.000Z","updated_at":"2026-07-13T19:17:02.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/hocestnonsatis/propaga","commit_stats":null,"previous_names":["hocestnonsatis/propaga"],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/hocestnonsatis/propaga","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hocestnonsatis%2Fpropaga","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hocestnonsatis%2Fpropaga/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hocestnonsatis%2Fpropaga/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hocestnonsatis%2Fpropaga/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/hocestnonsatis","download_url":"https://codeload.github.com/hocestnonsatis/propaga/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hocestnonsatis%2Fpropaga/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":36141856,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-07-20T02:08:10.276Z","status":"online","status_checked_at":"2026-08-01T02:00:05.789Z","response_time":100,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["algorithms","cli","constraint-programming","constraint-satisfaction","flatzinc","minizinc","propagation","rust","solver"],"created_at":"2026-08-01T04:01:04.939Z","updated_at":"2026-08-01T04:01:05.749Z","avatar_url":"https://github.com/hocestnonsatis.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Propaga\n\nA propagator-based constraint solver written in Rust.\n\nPropaga combines a typed propagation engine with pluggable domains, composable propagators, and conflict-driven search. Use it as a library via the `Model` API, from FlatZinc files, or through the `propaga` CLI.\n\n**v1.1.0** — [crates.io](https://crates.io/crates/propaga-cli) · [GitHub Releases](https://github.com/hocestnonsatis/propaga/releases) · [CHANGELOG](CHANGELOG.md)\n\n## Installation\n\nRequires Rust **1.88+** (Edition 2024).\n\n```bash\ncargo install propaga-cli\npropaga --help\n```\n\nPrebuilt binaries: [GitHub Releases](https://github.com/hocestnonsatis/propaga/releases)\n\n**As a library** ([docs.rs](https://docs.rs/propaga-core)):\n\n```toml\npropaga-core = \"1.1\"\npropaga-model = \"1.1\"\npropaga-flatzinc = \"1.1\"\n```\n\nFlatZinc support covers the MiniZinc **FlatZinc 1.6 stdlib workflow** (compile `.mzn` → solve `.fzn`). See [COMPATIBILITY.md](benchmarks/minizinc/COMPATIBILITY.md) for the full matrix, including float interval + IEEE-hole semantics.\n\n## Workspace\n\n| Crate | Role |\n|-------|------|\n| `propaga-core` | Variables, domains, propagators, explanations, nogoods |\n| `propaga-domains` | Interval, bitset, and hybrid domain implementations |\n| `propaga-engine` | Propagation engine with trail and event scheduling |\n| `propaga-propagators` | Built-in global and primitive propagators |\n| `propaga-search` | DFS search, nogood learning, restarts, optimization |\n| `propaga-model` | High-level modeling API |\n| `propaga-flatzinc` | FlatZinc parser and compiler |\n| `propaga-cli` | Command-line interface |\n\n## Capabilities\n\n### Propagation\n\nEquality, disequality, linear constraints, ordering (`\u003c=`, `\u003c`), reified comparisons, all-different (GAC), global cardinality, table, element, cumulative, and disjunctive propagators. Explanation-aware trail with synchronized backtracking.\n\n### Search\n\nMRV, DOM, DOM/W-DEG, activity-based, and input-order variable ordering; ascending, descending, LCV, split, reverse-split, median, random, and interval value ordering; first-UIP nogood learning; optional lazy clause pruning; Luby, constant, geometric, linear, and on-solution restarts; phase saving; parallel portfolio search (`--workers`, including FlatZinc `seq_search` phases); lexicographic multi-objective optimization; branch-and-bound for single-objective optimization.\n\n### FlatZinc\n\nParses and compiles FlatZinc 1.6 builtins for the MiniZinc stdlib workflow: integer, bool, set, and float variables; linear and global constraints; reified forms; `output` directives; `solve satisfy | minimize | maximize` (including float and set-cardinality objectives); lexicographic and Pareto objectives (int, float, set-cardinality); search annotations (`int_search`, `bool_search`, `float_search`, `set_search`, `seq_search`, `restart_*`); and user `predicate` declarations with nested expansion. Decomposition auxiliaries are not search decision variables (named FlatZinc vars and sort permutations still are). Batch solving with `propaga solve --dir`. CLI flags override annotation defaults when explicitly set.\n\nFull constraint matrix: [COMPATIBILITY.md](benchmarks/minizinc/COMPATIBILITY.md). MiniZinc workflow and stdlib corpus: [benchmarks/minizinc/README.md](benchmarks/minizinc/README.md).\n\n### Scheduling\n\nJSON input format for cumulative, sequential, and disjunctive scheduling problems. Per-task resource demand and multiple scheduling modes.\n\n## CLI\n\n```\npropaga sudoku [--puzzle ... | --file ...]\npropaga n-queens [--size N] [--visual]\npropaga solve --file model.fzn | --dir benchmarks/\npropaga schedule --file schedule.json\n```\n\nGlobal options:\n\n| Flag | Default | Description |\n|------|---------|-------------|\n| `--format` | `plain` | `plain` or `json` |\n| `--stats` | off | Print search statistics |\n| `--all` | off | Enumerate all solutions |\n| `--solutions N` | — | Cap enumeration with `--all` |\n| `--time-limit SECS` | — | Wall-clock cutoff (`TIMEOUT` / `status: timeout`) |\n| `--no-learning` | off | Disable nogood learning |\n| `--restarts` | (from annotation or `luby`) | `none`, `luby`, `luby:N`, `constant:N`, or `geometric:B:N` |\n| `--var-ordering` | (from annotation or `mrv`) | `mrv`, `dom`, `dom-wdeg`, `input-order`, `activity`, `smallest`, `largest`, `max-regret` (FlatZinc aliases: `first_fail`, `dom_w_deg`, …) |\n| `--value-ordering` | (from annotation or `asc`) | `asc`, `desc`, `lcv`, `split`, `reverse-split`, `median`, `middle`, `random`, `interval` |\n| `--no-phase-saving` | off | Disable phase saving |\n| `--workers N` | `1` | Portfolio worker count for `solve` and puzzles |\n| `--deterministic` | off | Use only the base search configuration in portfolio mode |\n\n## Quick start\n\nFrom a clone:\n\n```bash\ncargo test\ncargo run -p propaga-cli -- sudoku --stats\ncargo run -p propaga-cli -- n-queens --size 8 --visual\ncargo run -p propaga-cli -- solve --file benchmarks/magic_square.fzn --stats\ncargo run -p propaga-cli -- schedule --file benchmarks/schedule_cumulative.json --stats\nbash benchmarks/run.sh\n```\n\nExamples in `examples/`. Micro-benchmarks: `cargo bench -p propaga-propagators`.\n\n## Roadmap\n\n[ROADMAP.md](ROADMAP.md)\n\n## Contributing\n\n[CONTRIBUTING.md](CONTRIBUTING.md)\n\n## License\n\nMIT OR Apache-2.0, at your option.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhocestnonsatis%2Fpropaga","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhocestnonsatis%2Fpropaga","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhocestnonsatis%2Fpropaga/lists"}