kozily / admin

Tasks, project documentation and wiki repository
0 stars 0 forks source link

Boundness test #104

Closed andres-arana closed 6 years ago

andres-arana commented 6 years ago

Implement the kernel syntax for the boundness test {IsDet <x> <y>}