imported everyting to github

arminbiere · Mar 30, 2020 · ec8357e · ec8357e
1 parent 30ec3ae
commit ec8357e
Show file tree

Hide file tree

Showing 14 changed files with 4,255 additions and 1 deletion.
diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2020 Armin Biere
+Copyright (c) 2018-2020 Armin Biere, Johannes Kepler University Linz, Austria
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

diff --git a/README.md b/README.md
@@ -0,0 +1,18 @@
+Scramble CNFs in DIMACS format.
+==================================================================
+
+To build `scranfilize` use
+
+  `./configure && make`
+
+or include testing
+
+  `./configure && make test`
+
+which produces scrambled versions of the CNFs in 'cnfs' in 'log'.
+
+To understand what `scranfilize` can to run
+
+  `./scranfilize -h`
+
+after building it.
diff --git a/VERSION b/VERSION
@@ -0,0 +1 @@
+004