solver works properly in min possible degree, passes random ratio
Description
Description
Details
Details
- Committed
afalsafi Nov 28 2018, 16:13 - Pushed
afalsafi Dec 12 2018, 17:05 - Parents
- rMUSPECTREa0a2aed6a218: started to decrease the solver degree to the least ness number
- Branches
- Unknown
- Tags