This is METAFONT, Version 2.7182818 (TeX Live 2016/Debian) (preloaded base=mf 2017.5.8)  26 MAY 2017 14:29
**src/CSP.c src/CSP.d src/CSP.h src/CSP.o src/bitmaps.c src/bitmaps.d src/bitma
ps.h src/bitmaps.o src/config.c src/config.d src/config.h src/config.o src/conf
ig_device.c src/config_device.d src/config_device.h src/config_device.o src/con
straints src/constraints.c src/constraints.d src/constraints.h src/constraints.
o src/csps src/devices.c src/devices.d src/devices.h src/devices.o src/domains.
h src/intervals.c src/intervals.d src/intervals.h src/intervals.o src/kernels s
rc/main.c src/main.d src/main.o src/readme.txt src/solve.c src/solve.d src/solv
e.h src/solve.o src/split.c src/split.d src/split.h src/split.o src/subdir.mk s
rc/utils src/variables.c src/variables.d src/variables.h src/variables.o
(src/CSP.c
>> /*
>> CSP.c
! Not implemented: (unknown numeric)*(unknown numeric).
<to be read again> 
                   *
l.3  *
      
? 
! Emergency stop.
<to be read again> 
                   *
l.3  *
      
End of file on the terminal!