| Name : mergesat
| |
| Version : 3.3.0
| Vendor : obs://build_opensuse_org/devel:tools
|
| Release : lp156.3.2
| Date : 2024-05-09 11:08:40
|
| Group : Development/Tools/Other
| Source RPM : mergesat-3.3.0-lp156.3.2.src.rpm
|
| Size : 0.06 MB
| |
| Packager : https://www_suse_com/
| |
| Summary : SAT solver
|
Description :
MergeSAT is a SAT solver based on Maple_LCM_Dist_ChronoBT, adding
several known techniques and fixes from other solvers, as well as some
novel ideas.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/tools:/statica/15.6/x86_64 |
