Closed matt-gardner closed 7 years ago
This was mostly just for testing docker stuff to get a solver into Aristo. Turns out it also revealed a pretty important bug in the recent TimeDistributed update.
TimeDistributed
This was mostly just for testing docker stuff to get a solver into Aristo. Turns out it also revealed a pretty important bug in the recent
TimeDistributed
update.