Ecosyste.ms: Issues

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

GitHub / mvcisback/dfa-identify issues and pull requests

#14 - refactor: Use pareto search instead of linear search.

Pull Request - State: closed - Opened by mvcisback 9 months ago

#13 - feat: Introduce invariant concept class restriction.

Pull Request - State: closed - Opened by mvcisback about 1 year ago

#12 - fixed bug that set high < low if max_needed < low

Pull Request - State: closed - Opened by niklaslauffer over 1 year ago - 1 comment

#11 - Add DFA decomposition functionality

Pull Request - State: closed - Opened by niklaslauffer over 2 years ago - 1 comment

#10 - New preferences

Pull Request - State: closed - Opened by ameesh-shah almost 3 years ago

#8 - Changing dependency of pysat to valid version.

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

#7 - Support for ordering by stuttering transitions

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

#6 - dfa-identify starts search from specified number of states

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

#5 - Why not using DFA inductor?

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

#4 - fixed symmetry-breaking not breaking enough symmetry

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

#3 - Added symmetry breaking clauses

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

#2 - fixed bug in symmetry_breaking

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

#1 - Preferences test

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