fixpoint
fixpoint copied to clipboard
Implement reified constraints