Allow model vars to be unused in SAT formula #178

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

kellyma2 merged 1 commit into rmohr:main from aszady:collapse.unused

Jan 27, 2026

Merged

Allow model vars to be unused in SAT formula #178

Allow model vars to be unused in SAT formula

Annotations

7 warnings

Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0nb10aQAAAADBvvvsVtwQTJnIlidVrNSgQ0hHRURHRTE3MTgARWRnZQ==

Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0nL10aQAAAAB11Q1mQS62TIE/hLUtRhaUQ0hHRURHRTE3MTgARWRnZQ==

Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0m710aQAAAACcaknCD9clTosF71l+6m3pQ0hHRURHRTE3MTgARWRnZQ==

Optional job failed.

Failed to restore: Cache service responded with 400

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Allow model vars to be unused in SAT formula #178

Uh oh!

Uh oh!

Allow model vars to be unused in SAT formula #178

Uh oh!

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...