clasp

.....\app

.....\...\main.cpp

.....\...\Makefile

.....\...\options.cpp

.....\...\options.h

.....\...\program_opts

.....\...\............\detail

.....\...\............\......\smartpointer.h

.....\...\............\errors.h

.....\...\............\program_options.cpp

.....\...\............\program_options.h

.....\...\............\value.cpp

.....\...\............\value.h

.....\...\............\value_base.h

.....\...\timer.cpp

.....\...\timer.h

.....\bin

.....\...\dummy.txt

.....\build

.....\.....\vc8

.....\.....\...\clasp

.....\.....\...\.....\app

.....\.....\...\.....\...\app.vcproj

.....\.....\...\.....\clasp.sln

.....\.....\...\.....\lib

.....\.....\...\.....\...\lib.vcproj

.....\.....\...\.....\test

.....\.....\...\.....\....\test.vcproj

.....\CHANGES

.....\COPYING

.....\doc

.....\...\api

.....\...\...\clasp

.....\...\...\clasp.txt

.....\include

.....\.......\clause.h

.....\.......\constraint.h

.....\.......\heuristics.h

.....\.......\literal.h

.....\.......\lparse_reader.h

.....\.......\pod_vector.h

.....\.......\preprocessor.h

.....\.......\program_builder.h

.....\.......\program_rule.h

.....\.......\smodels_constraints.h

.....\.......\solver.h

.....\.......\solver_types.h

.....\.......\solve_algorithms.h

.....\.......\unfounded_check.h

.....\.......\util

.....\.......\....\indexed_priority_queue.h

.....\.......\....\misc_types.h

.....\.......\....\platform.h

.....\.......\....\pod_vector.h

.....\lib

.....\...\clause.cpp

.....\...\constraint.cpp

.....\...\heuristics.cpp

.....\...\lparse_reader.cpp

.....\...\Makefile

.....\...\preprocessor.cpp

.....\...\program_builder.cpp

.....\...\program_rule.cpp

.....\...\smodels_constraints.cpp

.....\...\solver.cpp

.....\...\solve_algorithms.cpp

.....\...\unfounded_check.cpp

.....\Makefile

.....\README

.....\test

.....\....\clause_creator_test.cpp

.....\....\clause_test.cpp

.....\....\decision_heuristic_test.cpp

.....\....\literal_test.cpp

.....\....\lparse_reader_test.cpp

.....\....\Makefile

.....\....\minimize_test.cpp

.....\....\program_builder_test.cpp

.....\....\rule_transform_test.cpp

.....\....\smodels_constraints_test.cpp

.....\....\solver_test.cpp

.....\....\test_main.cpp

.....\....\unfounded_check_test.cpp