conformant-aij-20160811


  • CONTENT: This package contains the executable version of DNF and bechnmarks used for the paper submitted to AIJ December, 2012.