sci-mathematics/cryptominisat/metadata.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
   3
   4 <pkgmetadata>
   5   <maintainer type="project">
   6     <email>sci-mathematics@gentoo.org</email>
   7     <name>Gentoo Mathematics Project</name>
   8   </maintainer>
   9   <longdescription>
  10     This system provides CryptoMiniSat, an advanced incremental SAT solver.
  11     The system has 3 interfaces: command-line, C++ library and python.
  12     The command-line interface takes a cnf as an input in the DIMACS format
  13     with the extension of XOR clauses. The C++ and python interface mimics this
  14     and also allows for incremental use: assumptions and multiple solve calls.
  15   </longdescription>
  16   <upstream>
  17     <bugs-to>https://github.com/msoos/cryptominisat/issues/</bugs-to>
  18     <remote-id type="github">msoos/cryptominisat</remote-id>
  19   </upstream>
  20 </pkgmetadata>