@NikolajBjorner
NikolajBjorner Merge pull request #14 from ahelwer/master
c5d37c6 Oct 4, 2021
Merge pull request #14 from ahelwer/master 
Upgraded to .NET 5.0, upgraded Microsoft.Z3 package
c5d37c6