Drawing Interactive Euler diagrams from Region Connection Calculus Specifications

loadExampleTestTPP() loadExampleTestNTPP() loadExampleTestEC() loadExampleTestDC() loadExampleTestPO() loadexample1() loadexample2() loadexample3() loadexample4() loadexample5() randomSpecification() circle("A"); circle("B"); circle("C"); circle("D"); TPP("A", "B"); NTPP("A", "C"); TPP("D", "B"); EC("D", "C"); radius("A", 30); radius("D", 30); radius("B", 100); Show/hide panel for gEeks Algorithm: hybrid local search gradient descent deprecated: local search JELIA 2014 Your browser is too old. Produce benchmarks Test generation Test interaction Video user study Experiment data in the paper sources Your browser is too old.