search

jsboigeEpita / 2023-EPITA-SCIA-PPC-Sudoku-CV

MIT License
0 stars 1 forks source link

push_retry adding new fonctionnality for Sudoku.LinqToZ3 lib #28

Closed Reyane141101 closed 5 months ago

Reyane141101 commented 6 months ago

RE TEST DE PULL REQUEST REYANE EN-NABTY Merci de me confirmer si vous recevez cette pull request. Cdt, Reyane.

jsboige commented 5 months ago

Bonjour Reyane, j'ai pris connaissance de ta PR. Il semble que tu te sois embourbé dans ton utilisation du type Bitarray avec des méthodes additionnelles inappropriées, et du coup tu n'as pas commencé la personnalisation de Z3.LinqBinding qui est le coeur du sujet. Je pense que tu n'aurais pas eu tous ces soucis en utilisant le type Byte que tu pourras utiliser comme un int32. Peux-tu laisser tomber les bitarray et reprendre ta classe avec le type Byte comme tu l'avais commencé autrefois, cette fois en reprenant exactement dans ta classe de Sudoku le fonctionnement de la classe originale avec le changement de type des cellules, de sortes que tu n'ai plus à te préoccuper de partie mapping de type et d'expression dans linqbinding?