Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Weight constraints
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Language Feature Weight constraints
Name
Weight constraints
Description
Logic program contains Lparse-style weight constraints of form:
lower [A1=W1, ..., An=Wn] upper
Compatible Languages
lparse
Logic Program
lparse output
Gringo 2.0.2
Clingcon 0.1.2
Iclingo 2.0.2