Stephan Gocht

"Den Reflexionsstrah r, der auch für rekursives Raytracing verwendet wird." Es gibt doch auch bei Brechung einen reflektierten anteil (Stichwort Fresnel-Effekt) diesen muss man ja mithilfe eines neuen Strahls (rekursiv)...

In 2D hat man einfach ein einfach kästchenpapier und darauf dreiecke. Für jedes kästchen merkt man sich welche dreiecke dort sind: Das kästchen liegt komplett im Dreieck oder eine Kante...

Die Inverse von matO2W ist doch gerade matW2O, sie muss also nicht berechnet werden. Aber es ist wirklich nicht ganz klar ob das transformationsmatrixen für normalen oder vektoren sind.

Just bumping the version number https://github.com/loiclec/fuzzcheck-rs/blob/9077693abd90bb44955ed008749b5902acfa65bd/fuzzcheck/src/code_coverage_sensor/llvm_coverage.rs#L710 does not seem to be sufficient.

In case it is of interest I made a python implementation for PB + CNF that also supports padding and length information so that the solutions can be checked against...

By default, functions are assumed to have no side effect. You are not using the return value of printf. Hence, the programs are equal because the side effect of printing...