Skip to content
Snippets Groups Projects
Commit 24359ea6 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Exploration.alg: Fix ReplicationBound annotation registration.

* Use the correct package.
* Also correct the registration of the Opt4J backend.
refs 3264
parent 4704a424
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment