Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

External solvers #119

Merged
merged 4 commits into from
Jul 4, 2024
Merged

External solvers #119

merged 4 commits into from
Jul 4, 2024

Conversation

chrjabs
Copy link
Owner

@chrjabs chrjabs commented Jul 4, 2024

Description of the Contribution

Interface for calling external solver binaries. The input instance can be either passed via a pipe to stdin, via a temporary file, or via a persistent file. Output can be be processed either via a pipe or via a persistent file.

PR Checklist

  • I read and agree to CONTRIBUTING.md
  • I have formatted my code with rustfmt / cargo fmt --all
  • Commits are named following conventional commits
  • I have added documentation for new features
  • The test suite still passes on this PR
  • I have added tests for new features / tests that would have caught the bug this PR fixes (please explain if not)
  • If this PR contains breaking changes, it is against the next-major branch, not against main

@chrjabs chrjabs added enhancement New feature or request solvers Related to solver interfaces labels Jul 4, 2024
@chrjabs chrjabs force-pushed the external-solvers branch from 7babedc to 1f2aff9 Compare July 4, 2024 14:01
@chrjabs chrjabs merged commit 68f5abf into next-major Jul 4, 2024
44 of 45 checks passed
@chrjabs chrjabs deleted the external-solvers branch July 4, 2024 14:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request solvers Related to solver interfaces
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant