Attached is an updated ebuild for SAT4J Pseudo 2.2.0.
Created attachment 242175 [details] sat4j-pseudo-2.2.0.ebuild
In CVS