search

nomeata / incredible

The Incredible Proof Machine
MIT License
360 stars 36 forks source link

tiny (circular) link prevents solution #107

Open rogpeppe opened 5 years ago

rogpeppe commented 5 years ago

This has happened to me a few times so far. I'm not sure quite how it arises, but it doesn't seem to be uncommon that somehow a short circular link is created from an input back to itself or something; it's not obvious that the connection exists, but it prevents the problem being solved.

Here's an example: image

There's a small ⊥ symbol at the top right of block 5; the problem cannot be solved until this is removed.

It appears that one of artifacts can be created just by a slight click-and-very-short-drag on a connection receiver. It would be good if this was a little harder to do.

nomeata commented 5 years ago

The UI ist mostly based on an (old version of) https://www.jointjs.com/opensource#Download-JointJS, that is mostly out of my control, I fear. But if someone wants to prove me worth with a patch, that’d be great.