1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
4 <maintainer type="project">
5 <email>sci@gentoo.org</email>
6 <name>Gentoo Science Project</name>
9 <flag name="extended-solver">Build extended version of SAT solver with
10 additional features.</flag>