RSolver CodeSVN

Brought to you by: stefan_ratschan

Commit [r114] Maximize Restore History

SR: printing number of boxes for -b flag

Authored by: stefan_ratschan 2007-11-27

Browse code at this revision

Parent: [r113]

Child: [r115]

changed

/trunk/rsolver-main.ml

/trunk/rsolver-main.ml Diff Switch to side-by-side view