yellowsquid/helium.git/src/Helium/Tactic, branch master [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=master 2022-04-07T16:58:39Z Add a new ring solver tactic. 2022-04-07T16:58:39Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-07T16:58:39Z urn:sha1:662ca19ed7dabecdf17cdd555132f106bb768e58