Attached you find the ebuild and necessary patches to build sem. Additionally, the use of the Intel C Compiler is supported, USE="icc". SEM, a System for Enumerating finite Models of first-order many-sorted theories. To the best of our knowledge, SEM outperforms any other finite model generation system on many test problems. The high performance of SEM relies on the following two techniques: (a) an efficient implementation of constraint propagation which requires little dynamic allocation of storage; (b) a powerful heuristic which eliminates many isomorphic partial models during the search. Our experimental results show that general purpose finite model generators are indeed useful in many applications. We also combine some local search techniques with backtracking techniques to obtain a very powerful model generator. Reproducible: Always Steps to Reproduce:
Created attachment 30179 [details] sem-1.7.ebuild This ebuild and the attached patch allows to build SEM.
Created attachment 30181 [details, diff] gentoo-sem-1.7.diff This patch enables to use user-specified CFLAGS (make.conf) and the compilation with Intels ICC
(this is an automated message based on filtering criteria that matched this bug) Hello, The Gentoo Team would like to firstly thank you for your ebuild submission. We also apologize for not being able to accommodate you in a timely manner. There are simply too many new packages. Allow me to use this opportunity to introduce you to Gentoo Sunrise. The sunrise overlay[1] is a overlay for Gentoo which we allow trusted users to commit to and all users can have ebuilds reviewed by Gentoo devs for entry into the overlay. So, the sunrise team is suggesting that you look into this and submit your ebuild to the overlay where even *you* can commit to. =) Because this is a mass message, we are also asking you to be patient with us. We anticipate a large number of requests in a short time. Thanks, On behalf of the Gentoo Sunrise Team, Jeremy. [1]: http://www.gentoo.org/proj/en/sunrise/ [2]: http://overlays.gentoo.org/proj/sunrise/wiki/SunriseFaq
Created attachment 237981 [details] New ebuild
Created attachment 238035 [details] Fixed the description and all.
