Bitween
Example:
--- NLA Examples ---
bresenham.c
cohencu.c
cohendiv.c
dijkstra.c
divbin.c
egcd.c
egcd2.c
egcd3.c
fermat1.c
fermat2.c
freire1.c
freire1_int.c
freire2.c
geo1.c
geo2.c
geo3.c
hard.c
isqrt.c
knuth.c
lcm1.c
lcm2.c
mannadiv.c
petter.c
prod4br.c
prodbin.c
ps1.c
ps2.c
ps3.c
ps4.c
ps5.c
ps6.c
readers_writers.c
sqrt1.c
wensley2.c
z3sqrt.c
--- RSR Examples ---
cos_taylor.c
cosh_taylor.c
cot_taylor.c
euler.c
euler1.c
euler_taylor.c
gcd.c
identity.c
inv.c
inv_sub.c
inv_sub2.c
inv_tan_add_taylor.c
logistic.c
mean.c
sigmoid.c
sigmoid_taylor.c
sine.c
sine_taylor.c
sine_taylor_1.c
sinh_taylor.c
squared.c
tan_taylor.c
tanh_taylor.c
Entry method:
Degree:
2
3
4
5
6
Solver:
Multiple Regression
Simple Regression
Forward Selection
MILP
Correctness Check:
verification
fuzzing
How To Use Bitween
Analyze Code
analyzing...