from Hacker News

A Mathematical Modeling Library in Prolog with Answer Constraint Semantics

by triska on 2/28/24, 7:02 PM with 0 comments