-
Ivan Gavran authored
added a script to run on a single example; put sat and dt methods to a separate file (used by both batch and single runs)
69f692a3
added a script to run on a single example; put sat and dt methods to a separate file (used by both batch and single runs)