Skip to main content

Browse the archive

https://github.com/vroland/sharpSAT
20 March 2024, 19:21:19 UTC
Branch name Release name Target Message Date
refs/tags/v13.02_compare_component_coding v13.02_compare_component_coding d684993 comparison of component coding schemes Feb. 2013 25 February 2013, 23:23:47 UTC
refs/tags/v12.08.1 v12.08.1 8d9ead5 Bug fix for v12.08 05 February 2013, 01:40:03 UTC
refs/tags/v12.08 v12.08 a4497bf August 2012 Release 28 August 2012, 01:43:01 UTC
back to top