1 files changed, 67 insertions, 0 deletions
diff --git a/README.txt b/README.txt
new file mode 100644
index 0000000..ebbd7b5
--- /dev/null
+++ b/README.txt
@@ -0,0 +1,67 @@
+Release 0.10
+
+Update to compile with modern C compilers and modern lrslib
+
+Release 0.9
+
+
+This directory contains some tools for manipulating lrs/cdd ine files.
+
+At the moment there is 
+
+
+	countrows	replace the ****** in lrs output with the number 
+			of rows	
+
+	float2rat 	convert floating point to rationals. Here the 
+			conversion is exact, but not very clever, so 
+			the numerator and denominator may be very large.
+			Current version of lrs can handle it, at least 
+			the gmp version.	
+
+
+	rat2canon	put the inequalities/vectors in a canonical form
+			This one only compiles with multiprecision support
+
+	rat2int		convert all rows to integer. This makes more sense for
+			inequalities. Multiprecision only  
+
+	rat2float	convert to floating point. Note that this 
+			necessarily loses precision.  Also, 
+			It assumes the numerator and denominator are both 
+			long integers, unless compiled with
+			multiprecision support.
+
+
+NEWS
+
+Release 0.7: 
+
+	All utilities take optional parameters for input file and
+	output file.
+
+I have more code around for, e.g. centering points around the origin and 
+other simple tasks that I would be willing to shake the dust off of if 
+there is interest.
+
+
+
+This code is released under the Gnu GPL. See COPYING.
+
+
+1) to build with multiprecision support (recommended):
+
+edit the Makefile to point to your lrslib source directory, 
+type make. 
+
+2) to build without multiprecision support
+
+comment out the line 
+CPPFLAGS+= -DLRSMP
+
+type make. Some things will not compile.
+
+
+
+David Bremner bremner@unb.ca
+