├── .gitignore ├── Documentation.html ├── Guide.html ├── LICENSE.txt ├── README ├── README.markdown ├── README.txt ├── Rakefile ├── Reference.html ├── book.txt ├── examples ├── datatypes ├── ee ├── factorial ├── length ├── monkey ├── nonlinear ├── polynomial ├── read.me ├── rectangle ├── square ├── step ├── streamfact └── temperature ├── libraries ├── bag ├── beep └── bops ├── old ├── DOC.text ├── DOC.troff └── mole.c └── src ├── Makefile ├── def.h ├── expr.c ├── graphics.c ├── graphics.cps ├── graphics.h ├── graphicsnull.c ├── main.c ├── match.c ├── names.c ├── ops.c ├── parse.c ├── prep.c ├── primitive.c ├── rules.c ├── scanner.c └── util.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/.gitignore -------------------------------------------------------------------------------- /Documentation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/Documentation.html -------------------------------------------------------------------------------- /Guide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/Guide.html -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/README -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/README.markdown -------------------------------------------------------------------------------- /README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/README.txt -------------------------------------------------------------------------------- /Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/Rakefile -------------------------------------------------------------------------------- /Reference.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/Reference.html -------------------------------------------------------------------------------- /book.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/book.txt -------------------------------------------------------------------------------- /examples/datatypes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/datatypes -------------------------------------------------------------------------------- /examples/ee: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/ee -------------------------------------------------------------------------------- /examples/factorial: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/factorial -------------------------------------------------------------------------------- /examples/length: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/length -------------------------------------------------------------------------------- /examples/monkey: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/monkey -------------------------------------------------------------------------------- /examples/nonlinear: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/nonlinear -------------------------------------------------------------------------------- /examples/polynomial: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/polynomial -------------------------------------------------------------------------------- /examples/read.me: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/read.me -------------------------------------------------------------------------------- /examples/rectangle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/rectangle -------------------------------------------------------------------------------- /examples/square: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/square -------------------------------------------------------------------------------- /examples/step: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/step -------------------------------------------------------------------------------- /examples/streamfact: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/streamfact -------------------------------------------------------------------------------- /examples/temperature: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/examples/temperature -------------------------------------------------------------------------------- /libraries/bag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/libraries/bag -------------------------------------------------------------------------------- /libraries/beep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/libraries/beep -------------------------------------------------------------------------------- /libraries/bops: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/libraries/bops -------------------------------------------------------------------------------- /old/DOC.text: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/old/DOC.text -------------------------------------------------------------------------------- /old/DOC.troff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/old/DOC.troff -------------------------------------------------------------------------------- /old/mole.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/old/mole.c -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/def.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/def.h -------------------------------------------------------------------------------- /src/expr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/expr.c -------------------------------------------------------------------------------- /src/graphics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/graphics.c -------------------------------------------------------------------------------- /src/graphics.cps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/graphics.cps -------------------------------------------------------------------------------- /src/graphics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/graphics.h -------------------------------------------------------------------------------- /src/graphicsnull.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/graphicsnull.c -------------------------------------------------------------------------------- /src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/main.c -------------------------------------------------------------------------------- /src/match.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/match.c -------------------------------------------------------------------------------- /src/names.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/names.c -------------------------------------------------------------------------------- /src/ops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/ops.c -------------------------------------------------------------------------------- /src/parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/parse.c -------------------------------------------------------------------------------- /src/prep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/prep.c -------------------------------------------------------------------------------- /src/primitive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/primitive.c -------------------------------------------------------------------------------- /src/rules.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/rules.c -------------------------------------------------------------------------------- /src/scanner.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/scanner.c -------------------------------------------------------------------------------- /src/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bertrand-constraint/bertrand/HEAD/src/util.c --------------------------------------------------------------------------------