This tool is used to check the coverage of t-sets in a provided array. It is designed to support the Simulated Annealing and CASA tools.
This material is based on work supported by the U.S. Department of Education under CFDA#84.200A, the Air Force Office of Scientific Research under award FA9550-09-1-0129, the National Science Foundation under Grant Nos. CNS-0454203, CCF-0541263, CNS-0720654, and CCF-0747009, by the National Aeronautics and Space Administration under Grant No. NNX08AV20A, and by the Army Research Office under DURIP award W91NF-04-1-0104. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the U.S. Department of Education, the Air Force Office of Scientific Research, the National Science Foundation, the National Aeronautics and Space Administration, or the Army Research Office.
Please send questions and comments to:
Ron Decker
104 Avery Hall
Department of Computer Science and Engineering
University of Nebraska–Lincoln
Lincoln, NE 68588
rdecker<at>cse.unl.edu