<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<CodeBlocks_project_file>
	<FileVersion major="1" minor="6" />
	<Project>
		<Option title="DRAT-RI" />
		<Option pch_mode="2" />
		<Option compiler="gcc" />
		<Build>
			<Target title="Debug">
				<Option output="bin/Debug/DRAT-RI" prefix_auto="1" extension_auto="1" />
				<Option object_output="obj/Debug/" />
				<Option type="1" />
				<Option compiler="gcc" />
				<Option parameters="/home/lammich/opt/src/sat_solvers/out/cmsat5_main2/default/uuf-100-1.{cnf,drat}" />
				<Compiler>
					<Add option="-Winit-self" />
					<Add option="-Wfloat-equal" />
					<Add option="-Wunreachable-code" />
					<Add option="-Weffc++" />
					<Add option="-Wzero-as-null-pointer-constant" />
					<Add option="-Wmain" />
					<Add option="-pedantic" />
					<Add option="-Wextra" />
					<Add option="-Wall" />
					<Add option="-std=c++11" />
					<Add option="-g" />
					<Add option="-D_GLIBCXX_DEBUG" />
				</Compiler>
			</Target>
			<Target title="Release">
				<Option output="bin/Release/DRAT-RI" prefix_auto="1" extension_auto="1" />
				<Option object_output="obj/Release/" />
				<Option type="1" />
				<Option compiler="gcc" />
				<Compiler>
					<Add option="-fexpensive-optimizations" />
					<Add option="-O3" />
					<Add option="-Winit-self" />
					<Add option="-Wfloat-equal" />
					<Add option="-Wunreachable-code" />
					<Add option="-Weffc++" />
					<Add option="-Wzero-as-null-pointer-constant" />
					<Add option="-Wmain" />
					<Add option="-pedantic" />
					<Add option="-Wextra" />
					<Add option="-Wall" />
					<Add option="-std=c++11" />
				</Compiler>
				<Linker>
					<Add option="-s" />
				</Linker>
			</Target>
		</Build>
		<Compiler>
			<Add option="-Winit-self" />
			<Add option="-Wfloat-equal" />
			<Add option="-Wunreachable-code" />
			<Add option="-Weffc++" />
			<Add option="-Wzero-as-null-pointer-constant" />
			<Add option="-Wmain" />
			<Add option="-pedantic" />
			<Add option="-Wextra" />
			<Add option="-Wall" />
			<Add option="-std=c++11" />
			<Add option="-m32" />
			<Add option="-fexceptions" />
		</Compiler>
		<Linker>
			<Add option="-m32" />
		</Linker>
		<Unit filename="backwards.cpp" />
		<Unit filename="main.cpp">
			<Option compile="0" />
			<Option link="0" />
			<Option target="&lt;{~None~}&gt;" />
		</Unit>
		<Unit filename="simple.cpp">
			<Option compile="0" />
			<Option link="0" />
		</Unit>
		<Unit filename="simple2.cpp">
			<Option compile="0" />
			<Option link="0" />
		</Unit>
		<Extensions>
			<code_completion />
			<debugger />
		</Extensions>
	</Project>
</CodeBlocks_project_file>
