Issues
- 0
[FR] Proposition Uniqueness
#108 opened by haz - 0
Visualizing the results of a solved theory.
#84 opened by karishmadaga - 4
add groupby feature to documentation
#96 opened by karishmadaga - 0
CI/CD Setup
#103 opened by haz - 1
- 1
Big And/Or
#97 opened by haz - 7
support for implication on custom constraints
#92 opened by yangyeileen - 1
Cleaner functionality for custom constraints
#87 opened by beckydvn - 0
add exceptions class to bauhaus
#91 opened by karishmadaga - 0
Improve testing
#65 opened by karishmadaga - 0
Allow for hybrid custom constraints
#88 opened by haz - 1
Constraints on classes with many attributes that can create constraints **between** attributes.
#64 opened by karishmadaga - 0
- 0
Docstrings
#19 opened by karishmadaga - 0
Add exceptions, error handling in code
#10 opened by karishmadaga - 0
documentation for library
#29 opened by karishmadaga - 0
implement constraint implies all
#12 opened by karishmadaga - 0
- 0
- 0
implement constraint at most one
#14 opened by karishmadaga - 0
implement constraint exactly one
#13 opened by karishmadaga - 0
implement constraint at most k
#11 opened by karishmadaga - 0
implement constraint at least one
#15 opened by karishmadaga - 0
- 1
- 0
- 0