There is a newer version of the record available.

Published August 30, 2023 | Version v1
Software Restricted

CS 474 Project

Authors/Creators

  • 1. University of Illinois Urbana-Champaign

Description

dReal extended with integration. Supports a report submitted for CS 474.

Files

Restricted

The record is publicly accessible, but files are restricted to users with access.

Request access

If you would like to request access to these files, please fill out the form below.

You need to satisfy these conditions in order for this request to be accepted:

Course staff for CS 474 may access this to look at the materials for grading.

You are currently not logged in. Do you have an account? Log in here