pysmt / pysmt

LAST BUILD BRANCH: cvc4-array-value
DEFAULT BRANCH: master
Repo Added
Files 0
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH optimization
branch: optimization
CHANGE BRANCH
x

2434

Pull #439

travis-ci

web-flow 
Fixed problem with optimsat in CI
Pull Request #439: Optimization
Relevant lines Covered
NO TREND HISTORY
Source Files on optimization
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2434 optimization Fixed problem with optimsat in CI Pull #439 web-flow travis-ci pending completion  
2433 optimization Fixed problem with optimsat in CI push mikand travis-ci pending completion  
2426 optimization Merge branch 'master' into optimization Pull #439 web-flow travis-ci pending completion  
2425 optimization Merge branch 'master' into optimization push mikand travis-ci pending completion  
2419 optimization Fixed optimsat installation push mikand travis-ci pending completion  
2418 optimization Added cost values as return values of optimizations Pull #439 web-flow travis-ci pending completion  
2417 optimization Added cost values as return values of optimizations push mikand travis-ci pending completion  
2416 optimization Merge branch 'master' into optimization Pull #439 web-flow travis-ci pending completion  
2415 optimization Merge branch 'master' into optimization push mikand travis-ci pending completion  
1877 optimization Experimentally implemented binary search and revised a bit the interface. There is still a bit of work to do to get a clean and uniform interface push mikand travis-ci pending completion  
See All Builds (861)