Index of exceptions

E
Error [Common.CudfSolver]
F
File_empty [Common.Input]
I
IgnorePackage [Pef.Packages]

IgnorePackage error message

Invalid_url [Common.Url]
U
Unsat [Common.CudfSolver]