### Abstract

This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations. The preliminary performance evaluation shows a limited slowdown factor with respect to the initial solver. This factor is widely counterbalanced by the new possibilities and the robustness of the solver. Furthermore these results are preliminary and we propose some directions to limit this overhead.

Original language | English |
---|---|

Title of host publication | Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 |

Editors | Thomas Ströder, Terrance Swift |

Place of Publication | Aachen |

Publisher | RWTH Aachen |

Pages | 47-62 |

Number of pages | 16 |

Publication status | Published - Jul 2014 |

Event | International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 - Vienna, Austria Duration: 17 Jul 2014 → 18 Jul 2014 |

### Publication series

Name | Aachener Informatik-Berichte (AIB) |
---|---|

Publisher | RWTH Aachen |

Number | 2014-09 |

ISSN (Print) | 0935-3232 |

### Workshop

Workshop | International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 |
---|---|

Abbreviated title | CICLOPS-WLPE |

Country | Austria |

City | Vienna |

Period | 17/07/14 → 18/07/14 |

### Keywords

- EWI-25798
- CR-D.2.5
- test data
- METIS-309926
- constraint solving
- Model-Based Testing
- IR-94675
- test generation

## Cite this

Bloemen, V., Diaz, D., van der Bijl, M., & Abreu, S. (2014). Extending the Finite Domain Solver of GNU Prolog. In T. Ströder, & T. Swift (Eds.),

*Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014*(pp. 47-62). (Aachener Informatik-Berichte (AIB); No. 2014-09). Aachen: RWTH Aachen.