K 10
svn:author
V 8
vsevolod
K 8
svn:date
V 27
2014-08-06T15:05:45.180781Z
K 7
svn:log
V 290
Update to 1.4.0.pre-alpha5

Changes:
- Use picosat SAT solver instead of the internal one:
 * production grade solver that is extensively tested
 * faster than internal one
 * has more flexible features
- Fix issues with adding items to the universe
- Fix forced operations

With hat:	pkg@

END