Timeline for What to import to use le_not_gt_iff?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3 at 8:53 | vote | accept | kutschkem | ||
| Jul 3 at 8:44 | comment | added | M Soegtrop | You will like lia - as long as you don't multiply variables (lia is for "linear integer arithmetic" - multiplication with constants is fine) it can solve most complicated networks of equalities, inequalities and a bit of logic. | |
| Jul 3 at 8:41 | comment | added | kutschkem | Perfect, that worked. There is no educational reason, I am just a beginner that didn't know lia existed. | |
| S Jul 3 at 8:36 | review | First answers | |||
| Jul 3 at 10:14 | |||||
| S Jul 3 at 8:36 | history | answered | M Soegtrop | CC BY-SA 4.0 |