Commit 3754ae8

authored

do not use underscores in assume (#26)

1 parent 2d460f2 commit 3754ae8Copy full SHA for 3754ae8

2 files changed

+246

-246

lines changed

Pos.lp
Z.lp

2 files changed

+246

-246

lines changed

Comments

(0)