//
//  SolverTests.h
//  Retargeting
//
//  Created by Daniel Graf on 20.11.12.
//  Copyright (c) 2012 Daniel Graf. All rights reserved.
//

#import <SenTestingKit/SenTestingKit.h>
#import "Types.h"
@interface SolverTests : SenTestCase

@end
