News

Department of Computer Science - University of Texas at Austin3h
Işıl Dillig Named 2025 ACM SIGPLAN Robin Milner Young Researcher
Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...
www.cs.utexas.edu2d
CMODELS - Answer Set programming System - University of Texas at Austin
Current version of system Cmodels is 3.86.1. Starting version 3.81 of Cmodels, the system supports incremental answer set solving. (One may add constraints to a program on the fly.) The interface for ...