Implement solve_all for MiniZinc #154

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Re-run triggered September 22, 2023 03:22

odow

#43

zengjian-hu-rai:zhu-solve-all

Status Success

Total duration 1m 54s

Artifacts –

format_check.yml

on: pull_request