blob: 234da92a34cca7cd33be49e1e17b873dc51343ad [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<!-- maintainer-needed -->
<use>
<flag name="gist">
Enable Gist, the Gecode Interactive Search Tool
</flag>
<flag name="gmp">
Enable trigonometric and transcendental float
constraints
</flag>
</use>
</pkgmetadata>