This repository has been archived by the owner on Feb 2, 2024. It is now read-only.

Problems should be able to have names #14

Closed

THinnerichs opened this issue Sep 19, 2023 · 1 comment

Member

THinnerichs commented Sep 19, 2023

No description provided.

Member Author

THinnerichs commented Jan 19, 2024

This is addressed in the new HerbSpecification.jl

THinnerichs closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.