Ecosyste.ms: Issues

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

GitHub / netom/satispy issues and pull requests

#18 - Added timeout

Pull Request - State: open - Opened by domduerr over 2 years ago

#17 - Added timeout

Pull Request - State: closed - Opened by domduerr over 2 years ago

#16 - KeyError: <satispy.cnf.Variable object at 0x7fcac8f80280>

Issue - State: open - Opened by crptcusco over 2 years ago - 1 comment

#15 - Satispy can use constans

Issue - State: open - Opened by crptcusco almost 6 years ago - 2 comments

#14 - Error: "system cannot find the path specified"

Issue - State: closed - Opened by Abdusha almost 6 years ago - 3 comments

#13 - 2to3

Pull Request - State: closed - Opened by yberman over 6 years ago - 1 comment

#12 - Prevent blow-up with or operator

Issue - State: open - Opened by yberman over 6 years ago - 1 comment

#11 - Python 3 compatibility

Issue - State: closed - Opened by yberman over 6 years ago - 3 comments

#10 - Bugfix: do not use global varmap in Solution; + run minisat on Windows

Pull Request - State: closed - Opened by motus almost 7 years ago - 1 comment

#9 - Add ability to create Cnf object from string of Boolean formula

Pull Request - State: closed - Opened by jamesscottbrown over 7 years ago

#8 - Use `frozenset` for `Cnf.dis`

Pull Request - State: closed - Opened by costas-basdekis over 8 years ago - 1 comment

#7 - Optimization in Cnf solves the problem of huge redundancy

Pull Request - State: closed - Opened by Javantea over 9 years ago - 1 comment

#6 - Remove numpy dependency

Pull Request - State: closed - Opened by domidimi over 9 years ago - 1 comment

#5 - Remove NumPy dependency as it seems unused

Issue - State: closed - Opened by domidimi over 9 years ago - 3 comments

#4 - Added python eggs

Pull Request - State: closed - Opened by netom almost 10 years ago

#3 - Lingeling support

Pull Request - State: closed - Opened by dhoepelman over 10 years ago - 1 comment

#2 - Added LICENSE file based on setup.py

Pull Request - State: closed - Opened by dhoepelman over 10 years ago - 1 comment

#1 - installation using pip fails

Issue - State: closed - Opened by johnyf almost 11 years ago - 2 comments