Packages tagged logic

42 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (42), bsd3 (26), program (9), mit (8), algorithms (7), gpl (7), theorem-provers (6), control (5), data (5), distributed-computing (4), math (4), parallelism (4), unification (3), array (2), compilers-interpreters (2), constraints (2), dataflow (2), formal-methods (2), language (2), list (2), non-determinism (2), optimisation (2), optimization (2), parsing (2), pipes (2), smt (2), ...