커밋 기록

작성자 SHA1 메시지 날짜
  David Kalnischkies 9179f697ed the previously used VERSION didn't work everywhere so we are switching 14 년 전
  David Kalnischkies 472ff00ef2 use forward declaration in headers if possible instead of includes 15 년 전
  David Kalnischkies ebfeeaedf5 implement correct error reporting 15 년 전
  David Kalnischkies 7f47135476 add a tiny dump solver to quickly output a scenario 15 년 전