80 develop a minizinc backend#83
Merged
kevin-delmas merged 34 commits intomasterfrom Dec 8, 2025
Merged
Conversation
…analyzer into 80-develop-a-minizinc-backend
Forbid user to use internal types. On going
User can only access to type aliased in pmlanalyzer package object.
Need to code System interface with Minizinc. Try adaptation of CI.
Closed
Need to code System interface with Minizinc. Try adaptation of CI.
Need to code System interface with Minizinc. Try adaptation of CI.
Need to code System interface with Minizinc. Try adaptation of CI.
Linter. Checking installed solvers.
Tested adapted to cancel test on timeout.
…analyzer into 80-develop-a-minizinc-backend # Conflicts: # src/main/scala/onera/pmlanalyzer/views/interference/model/formalisation/Solver.scala
… TopologicalInterferenceExporterTest
…these directories are made available by onerapmlanalyzer.package object.
ccoquand
approved these changes
Dec 8, 2025
Added tests on PostProcess.
Consider developing dedicated type.
Put checking in companion object to avoid multiple checks.
Put checking in companion object to avoid multiple checks.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Please indicate whether this pull request [adds/removes/fixes/replaces] the [feature/bug/etc].
What type of pull request is this? (check all applicable)
Related Tickets & Documents
If possible ensure that you have provided in your commit message the issue id (
available here) this pull request fixes,
for instance to refer to issue #42 you can do:
git commit -m "solving issue #42 with ..."Check here
for more information
Added tests?
Added to documentation?
Do we need to update pml analyzer version?
Is this new version should be released as soon as possible?