State Key Laboratory of Supramolecular Structure and Materials, Institute of Theoretical Chemistry, College of Chemistry, Jilin University, Changchun 130021, China ...
$ clingo-lpx -c n=132 encoding-lp.lp tai4_4_1.lp clingo-lpx version 1.1.0 Reading from encoding-lp.lp ... Solving... Answer: 1 [...] Assignment: (1,1)=132 (1,2)=0 (1 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback