search

qudt / qudt-public-repo

QUDT -Quantities, Units, Dimensions and dataTypes - public repository
Other
108 stars 69 forks source link

Srr constant definition #793

Closed steveraysteveray closed 8 months ago

steveraysteveray commented 8 months ago

This PR is to fix ClosedWorld constraint enforcement.