| CAQE is a solver for quantified Boolean formulas - Leander Tentrup - ltentrup |
| https://github.com/ltentrup/caqe | ||
| Size | 896K (872K (+24K)) | |
| Commits | 168 (167 (+1)) | |
| Update Stats | 0s ... 2m14s [Ø (last 10) 1s (1,1,1,1,2,1,1,1,1,1))] | |
| Last Change | 2023-05-13 21:16:48 | |
| Last Check | 2025-10-27 22:56:44 | |
| Created | 2022-07-24 09:35:26 |
Operation
Verifying url ...
Mail to Andreas Kupries