removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / cnfout.h

diff --git a/satPlan2006/include/cnfout.h b/satPlan2006/include/cnfout.h
deleted file mode 100644 (file)
index 37d9730..0000000
--- a/satPlan2006/include/cnfout.h
+++ /dev/null
@@ -1,43 +0,0 @@
-
-/*********************************************************************
- * (C) Copyright 1999 Albert Ludwigs University Freiburg
- *     Institute of Computer Science
- *
- * All rights reserved. Use of this software is permitted for 
- * non-commercial research purposes, and it may be copied only 
- * for that use.  All copies must include this copyright message.
- * This software is made available AS IS, and neither the authors
- * nor the  Albert Ludwigs University Freiburg make any warranty
- * about the software or its performance. 
- *********************************************************************/
-
-
-
-
-
-/*********************************************************************
- * File: cnfout.h
- * Description: headers for cnf output
- *
- * Author: Joerg Hoffmann 2003
- *
- *********************************************************************/ 
-
-#ifndef _CNFOUT_H
-#define _CNFOUT_H
-
-
-#define MAX_CLAUSES 64000000
-#define MAX_CNF_VARS 1000000
-
-
-void do_cnf_output( int );
-
-
-void print_csolver_encoding(int layer, int toCreate);
-void print_action_based_encoding( int layer, int toCreate );
-void print_gpstyle_action_based_encoding( int layer, int toCreate );
-void print_gp_based_encoding( int layer, int toCreate );
-void print_thin_gp_based_encoding( int layer, int toCreate );
-
-#endif /* _CNFOUT_H */