]>
2012-06-24 | Jan Rękorajski | - show commands run by make | blob | commitdiff | raw |
2012-06-24 | Jan Rękorajski | - updated to 2.5.0 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - setup MiniSat and zChaff solvers for building | blob | commitdiff | raw | diff to current |