search

LucianoXu / NQPV

NQPV is an assistant tool for the formal verification of nondeterministic quantum programs.
Apache License 2.0
4 stars 0 forks source link

Refine EPS control. #16

Closed LucianoXu closed 2 years ago

LucianoXu commented 2 years ago

Now the precision EPS is saved by Settings.EPS .