just for fun
anniepoo
1
2 Likes
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| You mean it’s all horn clauses? (Discussion) | 0 | 283 | July 25, 2020 | |
| [CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg | 0 | 190 | December 20, 2023 | |
| HCVS 2023 - First Call for Papers | 0 | 325 | December 19, 2022 | |
| Re: [SWI-Prolog] [Announce/Pack] Pack Ann: Real + proSQLite --- for SWI 8.2.0 | 1 | 439 | November 1, 2020 | |
| An experimental CGI page for playing around with basic operations on ZDD | 0 | 420 | November 19, 2020 |