Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / QuMuLab/bauhaus issues and pull requests

#107 - Fix for the tautology bug in nnf.

Pull Request - State: closed - Opened by haz almost 2 years ago

#106 - Warn when literals are supplied instead of variables

Pull Request - State: closed - Opened by beckydvn about 3 years ago - 2 comments
Labels: bug

#105 - Flatten custom

Pull Request - State: closed - Opened by haz about 3 years ago

#104 - Prepare bauhaus for use in the CISC 204 modelling project

Pull Request - State: closed - Opened by beckydvn about 3 years ago - 2 comments
Labels: enhancement

#103 - CI/CD Setup

Issue - State: open - Opened by haz over 3 years ago
Labels: enhancement

#102 - [FR] Mixing compiled NNF formulas with bauhaus statements

Issue - State: open - Opened by beckydvn over 3 years ago - 1 comment
Labels: enhancement

#101 - add custom exceptions

Pull Request - State: open - Opened by karishmadaga over 3 years ago - 2 comments

#100 - Vizualize solved theories

Pull Request - State: closed - Opened by e-cal over 3 years ago - 7 comments

#99 - [addendum] Allowing for iterable arguments on the And/Or features.

Pull Request - State: closed - Opened by haz over 3 years ago - 1 comment

#98 - 97 big andor

Pull Request - State: closed - Opened by haz over 3 years ago

#97 - Big And/Or

Issue - State: closed - Opened by haz over 3 years ago - 1 comment

#96 - add groupby feature to documentation

Issue - State: open - Opened by karishmadaga over 3 years ago - 4 comments
Labels: documentation, good first issue

#95 - Update core.py

Pull Request - State: closed - Opened by eileenyyang over 3 years ago

#92 - support for implication on custom constraints

Issue - State: closed - Opened by eileenyyang over 3 years ago - 7 comments

#91 - add exceptions class to bauhaus

Issue - State: open - Opened by karishmadaga over 3 years ago
Labels: testing

#90 - Allowing arbitrary constraints to be added.

Pull Request - State: closed - Opened by haz over 3 years ago - 4 comments

#89 - Add none_of method

Pull Request - State: closed - Opened by e-cal over 3 years ago - 6 comments

#88 - Allow for hybrid custom constraints

Issue - State: open - Opened by haz over 3 years ago
Labels: enhancement

#87 - Cleaner functionality for custom constraints

Issue - State: closed - Opened by beckydvn over 3 years ago - 1 comment
Labels: enhancement

#85 - small relative import statement fix

Pull Request - State: closed - Opened by karishmadaga over 3 years ago

#84 - Visualizing the results of a solved theory.

Issue - State: closed - Opened by karishmadaga almost 4 years ago
Labels: enhancement, good first issue

#83 - 64 Constraints on classes with many attributes that can create constraints **between** attributes.

Pull Request - State: closed - Opened by haz almost 4 years ago - 2 comments

#82 - fix for reqs path

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#81 - fix for requirements

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#80 - change version in yaml

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#79 - change version in yaml

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#78 - Dev

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#77 - Function for flushing instances stored in encoding.propositions

Issue - State: closed - Opened by karishmadaga almost 4 years ago
Labels: enhancement, good first issue

#76 - official release info

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#75 - try fix for mod ref

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#74 - pls fix mod ref

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#73 - Dev

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#72 - Merge pull request #71 from QuMuLab/dev

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#71 - Dev

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#70 - add code block

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#69 - try fixing mod ref

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#68 - update readme and setup

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#67 - add alabaster theme back

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#66 - add intro message in __init__ and use alabaster theme

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#65 - Improve testing

Issue - State: open - Opened by karishmadaga almost 4 years ago
Labels: testing

#64 - Constraints on classes with many attributes that can create constraints **between** attributes.

Issue - State: closed - Opened by karishmadaga almost 4 years ago - 1 comment
Labels: enhancement, investigate

#63 - try again theme furo

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#62 - add furo theme

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#61 - fix mod ref

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#60 - Dev

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#59 - fix for indent

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#58 - fix for indent

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#57 - add change

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#56 - add readthedocs again

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#55 - add css path

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#54 - add css path

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#53 - add css path

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#52 - add css path

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#51 - add css path

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#50 - change path

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#49 - add _static

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#48 - updated final documentation and website

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#47 - final lib for publishing lol

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#46 - Dev

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#45 - remove ex

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#44 - update readme

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#43 - update readme

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#42 - removed some files

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#40 - add examples

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#38 - add theme

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#37 - add features to doc

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#36 - add spacing

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#35 - removed indent

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#34 - library documentation, need to add git link for autodoc

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#33 - fixed flake8 issues

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#32 - spacing to readme

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#31 - remove pycache

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#30 - added docs, WIP tests, improved docstrings

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#29 - documentation for library

Issue - State: closed - Opened by karishmadaga almost 4 years ago
Labels: documentation

#28 - removed casts

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#27 - remove example

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#26 - completed issue #21 issue #17 issue #12

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#25 - remove example

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago

#24 - SAT encodings: issue #11, issue #13, issue #14

Pull Request - State: closed - Opened by karishmadaga almost 4 years ago - 1 comment

#23 - remove example

Pull Request - State: closed - Opened by karishmadaga about 4 years ago

#22 - Dev

Pull Request - State: closed - Opened by karishmadaga about 4 years ago

#21 - Storing variables from decorated instance methods

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: investigate

#20 - ! Get class name from decorated instance methods.

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: enhancement, investigate

#19 - Docstrings

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: documentation

#18 - Handling for @proposition in instance methods

Issue - State: closed - Opened by karishmadaga about 4 years ago - 1 comment
Labels: enhancement

#17 - Look into best way for storing tuple(args) for ConstraintBuilder objects

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: investigate

#15 - implement constraint at least one

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: enhancement

#14 - implement constraint at most one

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: enhancement

#13 - implement constraint exactly one

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: enhancement

#12 - implement constraint implies all

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: enhancement

#11 - implement constraint at most k

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: enhancement

#10 - Add exceptions, error handling in code

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: testing

#9 - Add support for iterable in constraint.method(e, arg) call

Issue - State: closed - Opened by karishmadaga about 4 years ago
Labels: enhancement

#8 - Add support for decorating instance methods with @constraint

Issue - State: closed - Opened by karishmadaga about 4 years ago

#7 - fix code block

Pull Request - State: closed - Opened by karishmadaga about 4 years ago

#6 - notes and readme update

Pull Request - State: closed - Opened by karishmadaga about 4 years ago

#5 - add spacing

Pull Request - State: closed - Opened by karishmadaga about 4 years ago