Code Snippets Zimpl

Short texts Zimpl 🧑‍💻 Code snippets Zimpl ✍️ Reading lists Zimpl 👀

a scip model for solving the brainteaser at https://www.braingle.com/brainteasers/teaser.php?id=52380

# a scip model for solving the brainteaser at # https://www.braingle.com/brainteasers/teaser.php?id=52380 set persons := { “Luke”, “Lily”, “Lilac”, “Liam”, “Lisa” }; var person_tells_the_truth[persons] binary; var person_is_mute[persons] binary; subto speaking: person_is_mute[“Lilac”]+person_is_mute[“Liam”]+person_is_mute[“Lisa”] == 0; # Luke subto r1a: abs(person_tells_the_truth[“Luke”] – person_is_mute[“Luke”])==1; # Lily subto r2a: abs(person_tells_the_truth[“Lily”] – person_is_mute[“Lily”])==1; # Lilac var v3one binary; subto r3a: vif (person_is_mute[“Luke”] […]

Answer to https://puzzling.stackexchange.com/q/108013

[ ((0,3.89771),-0.607492), ((3.89771,7.79542),-0.601695), ((7.79542,11.6931),-0.595723), ((11.6931,15.5908),-0.589687), ((15.5908,19.4885),-0.58344), ((19.4885,23.3862),-0.577019), ((23.3862,27.284),-0.570459), ((27.284,31.1817),-0.563693), ((31.1817,35.0794),-0.556756), ((35.0794,38.9771),-0.549616), ((38.9771,42.8748),-0.542241), ((42.8748,46.7725),-0.534684), ((46.7725,50.6702),-0.526872), ((50.6702,54.5679),-0.518828), ((54.5679,58.4656),-0.510588), ((58.4656,62.3633),-0.502043), ((62.3633,66.261),-0.493339), ((66.261,70.1587),-0.484268), ((70.1587,74.0564),-0.474912), ((74.0564,77.9542),-0.465343), ((77.9542,81.8519),-0.455435), ((81.8519,85.7496),-0.44531), ((85.7496,89.6473),-0.434612), ((89.6473,93.545),-0.423837), ((93.545,97.4427),-0.412529), ((97.4427,101.34),-0.400908), ((101.34,105.238),-0.388902), ((105.238,109.136),-0.376623), ((109.136,113.034),-0.363689), ((113.034,116.931),-0.350494), ((116.931,120.829),-0.33678), ((120.829,124.727),-0.3226), ((124.727,128.624),-0.307986), ((128.624,132.522),-0.292828), ((132.522,136.42),-0.277145), ((136.42,140.317),-0.260872), ((140.317,144.215),-0.244106), ((144.215,148.113),-0.226664), ((148.113,152.011),-0.208736), ((152.011,155.908),-0.190027), ((155.908,159.806),-0.170782), ((159.806,163.704),-0.150923), ((163.704,167.601),-0.13019), ((167.601,171.499),-0.108916), ((171.499,175.397),-0.0868024), ((175.397,179.295),-0.0640172), ((179.295,183.192),-0.0405228), ((183.192,187.09),-0.0162131), ((187.09,190.988),0.00879493), ((190.988,194.885),0.034589), ((194.885,198.783),0.0612733), ((198.783,202.681),0.0885237), ((202.681,206.579),0.116689), ((206.579,210.476),0.145493), […]