Preparing for new release - Githubissues

NeuralNetworkVerification / Marabou

Other

239 stars 86 forks source link

Preparing for new release #791

Closed wu-haoze closed 2 months ago

wu-haoze commented 2 months ago

update the license year
update change log
update CI