Interesting if this is true. But I wonder why they guess.
Our license clearly says:
- Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in
the documentation and/or other materials provided with the
distribution.
So if they use (parts of) FriCAS, they must mention it in the
documentation and distribute our license file.
If they don't, then it is a breach of the BSD license
However, without access to the software I cannot check.
Ralf