From f3971faa40f4c75de69fe48745a9c5b11ffd5bcd Mon Sep 17 00:00:00 2001
From: johann dreo <dreo@dumbledore00.ensta.fr>
Date: Mon, 16 Dec 2019 14:45:05 +0100
Subject: [PATCH] fix: avoid rounding out of domain

---
 sho/num.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sho/num.py b/sho/num.py
index 4f6a803..8439872 100644
--- a/sho/num.py
+++ b/sho/num.py
@@ -17,7 +17,7 @@ def to_sensors(sol):
     assert(len(sol)>0)
     sensors = []
     for i in range(0,len(sol),2):
-        sensors.append( ( int(round(sol[i])), int(round(sol[i+1])) ) )
+        sensors.append( ( int(floor(sol[i])), int(floor(sol[i+1])) ) )
     return sensors