02:02
tristero has joined #solvespace
02:44
tristero has quit [*.net *.split]
02:44
linex has quit [*.net *.split]
02:45
tristero has joined #solvespace
02:45
linex has joined #solvespace
02:46
balrog has quit [*.net *.split]
02:46
f8l has quit [*.net *.split]
02:46
cr1901_modern has quit [*.net *.split]
02:46
Ekho has quit [*.net *.split]
02:47
balrog has joined #solvespace
02:47
f8l has joined #solvespace
02:47
Ekho has joined #solvespace
02:47
cr1901_modern has joined #solvespace
02:47
balrog has quit [Max SendQ exceeded]
02:47
f8l has quit [Remote host closed the connection]
02:47
balrog_ has joined #solvespace
02:48
f8l has joined #solvespace
02:49
balrog_ is now known as balrog
02:50
mlen has quit [*.net *.split]
02:50
cr1901_modern has quit [*.net *.split]
02:50
Ekho has quit [*.net *.split]
02:50
tristero has quit [*.net *.split]
02:50
linex has quit [*.net *.split]
02:50
ohsix has quit [*.net *.split]
02:50
f8l has quit [*.net *.split]
02:50
balrog has quit [*.net *.split]
02:50
Thaolia has quit [*.net *.split]
02:50
edef has quit [*.net *.split]
02:50
Guest89961 has quit [*.net *.split]
02:50
balrog has joined #solvespace
02:50
tristero has joined #solvespace
02:50
ohsix has joined #solvespace
02:50
Thaolia has joined #solvespace
02:50
whitequark has joined #solvespace
02:57
_whitelogger has joined #solvespace
14:13
balrog has quit [Quit: Bye]
14:22
balrog has joined #solvespace
14:48
balrog has quit [Quit: Bye]
14:50
balrog has joined #solvespace
18:53
mlen has quit [*.net *.split]
19:03
mlen has joined #solvespace
22:38
<
GitHub >
[solvespace] baryluk commented on issue #302: I kind of agree, but this is partially due to accuracy of number used and the fact that coordinates of all points are independent in the solver, so it is hard to detect if the constraints are really redundant or just very close to each other, but conflicting, and unsolvable. Some very smart hybrid (algebraic + numeric) solver could detect most of the common redundancies an