issues Search Results · repo:QuMuLab/bauhaus language:Python
Filter by
27 results
(114 ms)27 results
inQuMuLab/bauhaus (press backspace or delete to remove)Willingness to contribute
The Bauhaus Community encourages new feature contributions. Would you be willing to contribute an implementation of this
feature?
- [ ] Yes. I can contribute this feature ...
enhancement
good first issue
help wanted
haz
- Opened on Aug 28, 2024
- #108
Willingness to contribute
The Bauhaus Community encourages new feature contributions. Would you be willing to contribute an implementation of this
feature?
- [x] Yes. I can contribute this feature ...
enhancement
haz
- Opened on Jul 14, 2021
- #103
Willingness to contribute
The Bauhaus Community encourages new feature contributions. Would you be willing to contribute an implementation of this
feature?
- [ ] Yes. I can contribute this feature ...
enhancement
beckydvn
- 1
- Opened on Jun 28, 2021
- #102
Hey everyone,
Is there an easy way to create a big And/Or of a list of variables? I.e.
fluents = [] term = And(fluents) x_a
Thanks!
Originally posted by @eileenyyang in https://github.com/QuMuLab/bauhaus/discussions/94 ...
haz
- 1
- Opened on May 26, 2021
- #97
groupby missing in readthedocs features, getting started, and on github readme
documentation
good first issue
karishmadaga
- 4
- Opened on May 24, 2021
- #96
- improved error handling by adding custom exceptions class for bauhaus (bauhaus/errors.py)
- removes current use of long strings in classes
- adds more informative naming of errors instead of the ...
testing
karishmadaga
- Opened on May 18, 2021
- #91
If A and B are classes with a @proposition annotation, then we may want to be able to write a constraint like...
e = Encoding()
@proposition
class A:
pass
@proposition
class B:
pass
b = B() ...
enhancement
haz
- Opened on May 2, 2021
- #88
I suggest adding some functionality that allows you to cleanly create custom constraints using the annotated objects.
The functions provided with the library are incredibly useful, but trying to create ...
enhancement
beckydvn
- 1
- Opened on May 2, 2021
- #87
Taking the results from a solved SAT theory with truth assignments, how can we present it to a user in a meaningful way.
Example: present truth values grouped by object types
It would be interesting ...
enhancement
good first issue
karishmadaga
- Opened on Dec 17, 2020
- #84

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.