Assertion: unison | /r/CapableOf | use constraint programming
Facets:
Source sentences:
text: Unison is a simple, flexible, and potentially optimal tool that performs integrated register allocation and instruction scheduling using constraint programming as a modern method for combinatorial optimization.