Packages tagged symbolic-arithmetic

1 package has this tag.

Related tags: bsd2 (1), library (1), solver (1)

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
sop-satisfier	3	0.0	0	Check satisfiability of expressions on natural numbers	(bsd2, library, solver, symbolic-arithmetic)	2025-06-07	0.3.4.5	ChristiaanBaaij

Showing 1 to 1 of 1 entries