zmaxsat.cbp

<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<CodeBlocks_project_file>
	<FileVersion major="1" minor="6" />
	<Project>
		<Option title="zmaxsat" />
		<Option pch_mode="2" />
		<Option compiler="gcc" />
		<Build>
			<Target title="Debug">
				<Option output="bin/Debug/zmaxsat" prefix_auto="1" extension_auto="1" />
				<Option object_output="obj/Debug/" />
				<Option type="1" />
				<Option compiler="gcc" />
				<Compiler>
					<Add option="-g" />
					<Add directory="../../package/zlib-1.2.8" />
				</Compiler>
				<Linker>
					<Add library="libz.so" />
				</Linker>
			</Target>
			<Target title="Release">
				<Option output="bin/Release/zmaxsat" prefix_auto="1" extension_auto="1" />
				<Option object_output="obj/Release/" />
				<Option type="1" />
				<Option compiler="gcc" />
				<Compiler>
					<Add option="-O2" />
				</Compiler>
				<Linker>
					<Add option="-s" />
				</Linker>
			</Target>
		</Build>
		<Compiler>
			<Add option="-Wall" />
			<Add option="-fexceptions" />
		</Compiler>
		<Unit filename="core/Input.h" />
		<Unit filename="core/Solver.cc" />
		<Unit filename="core/Solver.h" />
		<Unit filename="core/SolverTypes.h" />
		<Unit filename="core/main.cc" />
		<Unit filename="mtl/Alg.h" />
		<Unit filename="mtl/Alloc.h" />
		<Unit filename="mtl/Heap.h" />
		<Unit filename="mtl/IntTypes.h" />
		<Unit filename="mtl/Map.h" />
		<Unit filename="mtl/Queue.h" />
		<Unit filename="mtl/Sort.h" />
		<Unit filename="mtl/Vec.h" />
		<Unit filename="mtl/XAlloc.h" />
		<Unit filename="utils/Makefile" />
		<Unit filename="utils/System.cc" />
		<Unit filename="utils/System.h" />
		<Extensions>
			<code_completion />
			<debugger />
			<envvars />
		</Extensions>
	</Project>
</CodeBlocks_project_file>