summaryrefslogtreecommitdiff
path: root/math/lingeling/pkg-descr
blob: ca90c4d970fa9a9e3f372d39f4a77e814036cc13 (plain) (blame) 
1
2
3
4
5

Lingeling, Plingeling and Treengeling.

The parallel portfolio front-end Plingeling was ranked on the first place on
unsatisfiable instances in the parallel track of the SAT Competition 2020, and
second place overall in the parallel track.
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-05 20:09:18 +0000